Display the full TOC in the manual. Closes rust-lang#4194

erickt · Dec 15, 2012 · e67190a · e67190a
1 parent 309cdfd
commit e67190a
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/doc/manual.css b/doc/manual.css
@@ -0,0 +1,6 @@
+/* Display the full TOC */
+
+#TOC ul ul {
+ display: block;
+ padding-left: 2em;
+}
diff --git a/mk/docs.mk b/mk/docs.mk
@@ -30,8 +30,12 @@ doc/rust.css: rust.css
  @$(call E, cp: $@)
  $(Q)cp -a $< $@ 2> /dev/null
 
+doc/manual.css: manual.css
+ @$(call E, cp: $@)
+ $(Q)cp -a $< $@ 2> /dev/null
+
 DOCS += doc/rust.html
-doc/rust.html: rust.md doc/version_info.html doc/rust.css
+doc/rust.html: rust.md doc/version_info.html doc/rust.css doc/manual.css
  @$(call E, pandoc: $@)
  $(Q)$(CFG_NODE) $(S)doc/prep.js --highlight $< | \
  "$(CFG_PANDOC)" \
@@ -40,6 +44,7 @@ doc/rust.html: rust.md doc/version_info.html doc/rust.css
  --number-sections \
  --from=markdown --to=html \
  --css=rust.css \
+ --css=manual.css \
  --include-before-body=doc/version_info.html \
  --output=$@
  endif