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 390c9c6a1..e6b0cc165 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -13,7 +13,7 @@ HTMLDOCS = $(patsubst %,$(OUT)%.html,$(DOCNAMES)) TEXTDOCS = $(patsubst %,$(OUT)%.text,$(DOCNAMES)) PDFDOCS = $(patsubst %,$(OUT)%.pdf,$(DOCNAMES)) -ASCIIDOC = asciidoctor +ASCIIDOC = asciidoc A2X = a2x BROWSER = firefox THEME = compact_subsurface |