1
Fork 0

Move ID generator to a more suited location

This commit is contained in:
mitaa 2015-12-03 00:06:26 +01:00
parent d5321f2abe
commit 538689ddc7
3 changed files with 46 additions and 41 deletions

View file

@ -21,9 +21,10 @@ use rustc::session::search_paths::SearchPaths;
use externalfiles::ExternalHtml;
use html::render::reset_ids;
use html::escape::Escape;
use html::markdown;
use html::markdown::{Markdown, MarkdownWithToc, find_testable_code, reset_headers};
use html::markdown::{Markdown, MarkdownWithToc, find_testable_code};
use test::{TestOptions, Collector};
/// Separate any lines at the start of the file that begin with `%`.
@ -82,7 +83,7 @@ pub fn render(input: &str, mut output: PathBuf, matches: &getopts::Matches,
}
let title = metadata[0];
reset_headers();
reset_ids();
let rendered = if include_toc {
format!("{}", MarkdownWithToc(text))