diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-04-21 12:27:48 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-04-22 13:25:14 +0200 |
| commit | 295f25b19862eed40ed12e13db1afae1b4f41d35 (patch) | |
| tree | e34b9e017d331ff346507b4b81b15b4a90dfb550 /src/tools | |
| parent | 80a2a94d5a646859239cb8acab3ecc3c508e741e (diff) | |
| download | rust-295f25b19862eed40ed12e13db1afae1b4f41d35.tar.gz rust-295f25b19862eed40ed12e13db1afae1b4f41d35.zip | |
Set hoedown to generate error index
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/error_index_generator/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/error_index_generator/main.rs b/src/tools/error_index_generator/main.rs index efadde99227..ca383b5add0 100644 --- a/src/tools/error_index_generator/main.rs +++ b/src/tools/error_index_generator/main.rs @@ -24,7 +24,7 @@ use std::path::PathBuf; use syntax::diagnostics::metadata::{get_metadata_dir, ErrorMetadataMap, ErrorMetadata}; -use rustdoc::html::markdown::{Markdown, PLAYGROUND}; +use rustdoc::html::markdown::{Markdown, PLAYGROUND, RenderType}; use rustc_serialize::json; enum OutputFormat { @@ -100,7 +100,7 @@ impl Formatter for HTMLFormatter { // Description rendered as markdown. match info.description { - Some(ref desc) => write!(output, "{}", Markdown(desc))?, + Some(ref desc) => write!(output, "{}", Markdown(desc, RenderType::Hoedown))?, None => write!(output, "<p>No description.</p>\n")?, } |