de76369f93
Update to newer version of mdbook(2)
2019-01-30 09:25:12 -05:00
9004b44b99
Remove stable feature
2019-01-30 09:13:17 -05:00
7389f97cde
Only the compatibility items from the embedded book PR
...
PR: https://github.com/rust-lang/rust/pull/56291
2019-01-30 09:13:17 -05:00
0ab516fdfc
Update MDBook
2018-04-22 20:35:22 -05:00
ecfbaca13e
update mdbook
...
This includes search for all books, a long-requested feature!
2018-04-05 15:03:26 -04:00
5437188e10
update mdbook to 0.1.2
...
and improve printing of errors
2018-02-04 15:47:35 -05:00
38ddb446b9
Check for deadlinks from the summary during book generation
...
Previously, any deadlinks from a book's SUMMARY.md wouldn't
cause any errors or warnings or similar but mdbook would simply
create a page with blank content.
This has kept bug #47394 hidden. It should have been detected
back in the PR when those wrongly named files got added to the
book.
PR #47414 was one component of the solution. This change
is a second line of defense for the unstable book and a first
line of defense for any other book.
We also update mdbook to the most recent version.
2018-01-15 16:39:20 +01:00
1bbf41da6f
update mdbook
...
Fixes #44704
2017-10-02 10:16:32 -04:00
f3d6f120e8
update mdbook
2017-09-11 11:56:35 -04:00
4871dba5d4
update crate dependencies
...
I wanted to update mdbook's version. This ended up updating a bunch of other stuff too.
2017-07-11 21:18:44 -04:00
a517a96186
Bump mdbook dep to pick up new 'create missing' toggle feature.
...
This will avoid obscure Travis CI error messages:
* https://github.com/rust-lang/rust/pull/40290#issuecomment-294137045
Original mdbook issue:
* https://github.com/azerupi/mdBook/issues/253
mdbook PR:
* https://github.com/azerupi/mdBook/pull/254
2017-04-27 10:28:23 -04:00
43d92bb585
update mdbook
2017-04-18 11:41:07 -04:00
80d3f3a1e3
Update mdbook to new version
...
This brings back playpen integration for the books.
2017-03-11 09:54:47 -05:00
d076e840bc
update mdbook version
...
This contains two important bugfixes
2017-02-28 12:32:32 -05:00
010a28de7c
Update mdBook version
...
This brings in a needed bugfix.
2017-02-20 11:17:55 -05:00
7726735636
Update mdbook version
...
This version of mdbook includes
https://github.com/azerupi/mdBook/pull/207 , which is needed so that
we can start doing linkchecker on the various books.
2017-02-19 19:17:16 -05:00
a076961fd0
Re-implement rustbook in terms of mdbook
...
mdbook has a lot of optional dependencies that we don't want, so instead
of using it directly, we re-build rustbook to use mdbook as a library.
For convenience' sake, we keep the same CLI interface as mdbook; the
only difference is that it only accepts build and test subcommands,
rather than the full range.
2017-02-13 13:41:01 -05:00
03bc2cf35a
Fallout from updating bootstrap Cargo
2016-12-29 08:47:26 -08:00
ee6df13f0c
rustbuild: Move rustbook to a `src/tools` directory
...
We've actually got quite a few tools that are compiled as part of our build,
let's start housing them all in a `tools` directory.
2016-03-08 11:52:09 -08:00
James Munns
Matt Ickstadt
steveklabnik
est31
Corey Farwell
Alex Crichton