diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 67033e8b..4dfb3094 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -225,8 +225,10 @@ PUBLISH_HTML=altusmetrum.html micropeak.html telegps.html easymini.html $(ONEFIL HTML=$(PUBLISH_HTML) $(RELNOTES_HTML) +if ASCIIDOCTOR_PDF PDF=altusmetrum.pdf micropeak.pdf telegps.pdf easymini.pdf $(ONEFILE_PDF_FILES) \ $(OUTLINE_PDF_FILES) +endif MAP_DOT_FILES=map-loading.dot MAP_SVG_FILES=$(MAP_DOT_FILES:.dot=.svg) |