summaryrefslogtreecommitdiffstats
path: root/docs/manual/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'docs/manual/Makefile.am')
-rw-r--r--docs/manual/Makefile.am16
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