diff options
Diffstat (limited to 'docs/manual')
-rw-r--r-- | docs/manual/Makefile.am | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/docs/manual/Makefile.am b/docs/manual/Makefile.am index f464e7a4..54e33e13 100644 --- a/docs/manual/Makefile.am +++ b/docs/manual/Makefile.am @@ -7,13 +7,25 @@ EXTRA_DIST = \ images/icons/*.png \ images/spicec01.png \ manual.html \ + manual.chunked \ manual.txt \ $(NULL) .txt.html: $(AM_V_GEN) $(ASCIIDOC) $(ASCIIDOC_FLAGS) $< -all-local: manual.html +manual.chunked: manual.txt + $(AM_V_GEN) $(A2X) -f chunked -D $(builddir) $(ASCIIDOC_FLAGS) $< + +docfiles = +if BUILD_HTML_MANUAL +docfiles += manual.html +endif +if BUILD_CHUNKED_MANUAL +docfiles += manual.chunked +endif + +all-local: $(docfiles) clean-local: - rm manual.html + rm -rf manual.chunked |