diff options
| author | kennytm <kennytm@gmail.com> | 2018-02-06 02:13:49 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-06 02:13:49 +0800 |
| commit | ddc4284b716b31bfb56bfbd1221253787988eb8b (patch) | |
| tree | 68fc0fd63f80496e19391a525a5669a4f0f653d8 /src/doc | |
| parent | a405a08d72910c6a4de5636a51ce9cfc9bbbb5fd (diff) | |
| parent | 983cc00b80d0d6a37ef8ae171febfd45cd4313fe (diff) | |
Rollup merge of #47753 - steveklabnik:update-book, r=alexcrichton
Update book This PR does two things: 1. update the book to include https://github.com/rust-lang/book/pull/1088 2. update to mdbook 0.1 Both of these things are big changes, so I want to land them now, well before the next branch, so we can kick the tires. ------------------------------ Locally, I'm seeing some weirdness around the reference and this:  Putting this PR up so others can try and build and see if it reproduces for them.
Diffstat (limited to 'src/doc')
| m--------- | src/doc/book | 0 | ||||
| m--------- | src/doc/reference | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/src/doc/book b/src/doc/book -Subproject 194eb8d5f1753fb5f4501011cebdc1b58571247 +Subproject a645960fe48946153936dd5628df4a90bd83798 diff --git a/src/doc/reference b/src/doc/reference -Subproject 1d791b55b23ec5389fbd5b3cee80db3f8bbdd16 +Subproject e6a5d5d10aa2fde0baed7b29bf672bd9f3af896 |
