diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 67f23eddf..1b37ce0b1 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -19,7 +19,7 @@ $(OUT)$(DOCNAME).pdf: $(DOCSOURCE) $(OUT)$(HTMLDOC): $(DOCSOURCE) @echo "if asciidoc isn't found no HTML documentation is produced but Subsurface is still functional" - $(ASCIIDOC) -a themedir=$(PWD) --theme $(THEME) $< || true + $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) --theme $(THEME) $< || true # Alternatively:: $(OUT)$(DOCNAME).xhtml: $(DOCSOURCE) |