Rollup merge of #48274 - GuillaumeGomez:remove-hoedown, r=QuietMisdreavus

Remove hoedown from rustdoc

Finally the time has come!

r? @QuietMisdreavus
This commit is contained in:
Guillaume Gomez 2018-02-18 13:20:59 +01:00 committed by GitHub
commit b7791b0c7e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
20 changed files with 114 additions and 1372 deletions

View file

@ -62,12 +62,9 @@ fn main() {
// it up so we can make rustdoc print this into the docs
if let Some(version) = env::var_os("RUSTDOC_CRATE_VERSION") {
// This "unstable-options" can be removed when `--crate-version` is stabilized
cmd.arg("-Z").arg("unstable-options")
cmd.arg("-Z")
.arg("unstable-options")
.arg("--crate-version").arg(version);
// While we can assume that `-Z unstable-options` is set, let's also force rustdoc to panic
// if pulldown rendering differences are found
cmd.arg("--deny-render-differences");
}
if verbose > 1 {