diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index e6b0cc165..3b2baf522 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -34,6 +34,17 @@ $(OUT)%.html: %.txt $(ASCIIDOC) -a toc -a toclevels=3 -a themedir=$(PWD) -a theme=$(THEME) -o $@ $< || \ cp $(<:%.txt=%.html.git) $@ +# for the web facing version of the desktop manual, just use the post-processing script +user-manual.html.wp: user-manual.html + bash ../scripts/prep-manual.sh $< + +# for the web facing version of the mobile manual, re-create the HTML with only one level in +# the table of context and then post process +mobile-manual-v3.html.wp: mobile-manual-v3.txt + $(ASCIIDOC) -a toc -a toclevels=1 -a themedir=$(PWD) -a theme=$(THEME) -o $(<:%.txt=%.html.tmp) $< && \ + bash ../scripts/prep-manual.sh $(<:%.txt=%.html.tmp) && \ + mv $(<:%.txt=%.html.tmp.wp) $@ + # Alternatively:: $(OUT)$(DOCNAME).xhtml: $(DOCSOURCE) $(A2X) --icons -f xhtml $< |