From b9d484ff8c63084326d81bc8036906e089a5f016 Mon Sep 17 00:00:00 2001 From: Michael Sproul Date: Tue, 5 May 2015 11:17:00 +1000 Subject: [PATCH] Error index style tweaks. --- mk/docs.mk | 2 +- src/error-index-generator/main.rs | 10 +++++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/mk/docs.mk b/mk/docs.mk index 6f16e0d9578..39eb30a5b8d 100644 --- a/mk/docs.mk +++ b/mk/docs.mk @@ -77,7 +77,7 @@ ERR_IDX_GEN = $(RPATH_VAR2_T_$(CFG_BUILD)_H_$(CFG_BUILD)) $(ERR_IDX_GEN_EXE) D := $(S)src/doc -DOC_TARGETS := trpl style +DOC_TARGETS := trpl style error-index COMPILER_DOC_TARGETS := DOC_L10N_TARGETS := diff --git a/src/error-index-generator/main.rs b/src/error-index-generator/main.rs index 1f18eded3c9..855d89bc8a3 100644 --- a/src/error-index-generator/main.rs +++ b/src/error-index-generator/main.rs @@ -57,7 +57,15 @@ r##" Rust Compiler Error Index + + + + "## @@ -79,7 +87,7 @@ r##" // Error title (with self-link). try!(write!(&mut output_file, - "

{0}

\n", + "

{0}

\n", err_code ));