Enable table of contents in documentation files
Oddly enough, this places the rendered HTML under the GPL, as the
tiny JavaScript snippet dumped by AsciiDoc is under the GPL, and
is included literal in the resulting HTML page.
Signed-off-by: Shawn O. Pearce <sop@google.com>
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 960e4af..1fd880d 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -53,6 +53,7 @@
$(DOC_HTML): %.html : %.txt
rm -f $@+ $@
$(ASCIIDOC) \
+ -a toc \
-b xhtml11 -f asciidoc.conf \
$(ASCIIDOC_EXTRA) -o $@+ $<
mv $@+ $@
