diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e3333ed8..dad60626 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -39,9 +39,13 @@ CLEANFILES = $(OUT_FILES) EXTRA_DIST = $(IN_FILES) +if BUILD_MANUAL + doc_DATA = $(OUT_FILES) SUFFIXES = .html .adoc .adoc.html: $(ASCIIDOC) -b $(OUTPUT) $(OPTIONS) -o $@ $< + +endif |