diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 204aeb8e8..611bd2fb0 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -15,6 +15,10 @@ A2X = a2x BROWSER = firefox THEME = compact_subsurface PWD = $(realpath .) +ENABLE_PLANNER := 0 +ifeq ($(ENABLE_PLANNER), 1) +ENABLE_PLANNER_ATTR=-a ENABLE_PLANNER=$(ENABLE_PLANNER) +endif all: doc $(addprefix $(DOCNAME).,pdf text) @@ -29,11 +33,11 @@ $(OUT)$(DOCNAME).pdf: $(DOCSOURCE) $(OUT)$(HTMLDOC): $(DOCSOURCE) @echo "if asciidoc isn't found the html file included in the sources is copied" $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) -a theme=$(THEME) -a stylesdir=$(PWD) \ - -o $(OUT)$(HTMLDOC) $< || cp $(HTMLDOC).git $(OUT)$(HTMLDOC) + $(ENABLE_PLANNER_ATTR) -o $(OUT)$(HTMLDOC) $< || cp $(HTMLDOC).git $(OUT)$(HTMLDOC) # Alternatively:: $(OUT)$(DOCNAME).xhtml: $(DOCSOURCE) - $(A2X) --icons -f xhtml $< + $(A2X) $(ENABLE_PLANNER_ATTR) --icons -f xhtml $< show: $(HTMLDOC) $(BROWSER) $< |