diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-18 13:20:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-18 13:20:59 +0100 |
| commit | b7791b0c7eb4eef607ca222404e1d0d69c352a21 (patch) | |
| tree | 5e9caad4bb70b71bdd9ebed288a8a8f8a2218151 /src/bootstrap/bin/rustdoc.rs | |
| parent | 715030fd0171b3158c799aa201b1aca2c0f7ee01 (diff) | |
| parent | 6661ebb4bd73bfe2ef93f9edcf9c89243ab32e46 (diff) | |
| download | rust-b7791b0c7eb4eef607ca222404e1d0d69c352a21.tar.gz rust-b7791b0c7eb4eef607ca222404e1d0d69c352a21.zip | |
Rollup merge of #48274 - GuillaumeGomez:remove-hoedown, r=QuietMisdreavus
Remove hoedown from rustdoc Finally the time has come! r? @QuietMisdreavus
Diffstat (limited to 'src/bootstrap/bin/rustdoc.rs')
| -rw-r--r-- | src/bootstrap/bin/rustdoc.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/bootstrap/bin/rustdoc.rs b/src/bootstrap/bin/rustdoc.rs index 389b504c64c..798d5c3eb67 100644 --- a/src/bootstrap/bin/rustdoc.rs +++ b/src/bootstrap/bin/rustdoc.rs @@ -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 { |