X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=blobdiff_plain;f=doc%2FMakefile;h=1e436d4d24f3d05199e91aa879c7459048c6261d;hp=461a904954aaa797c882cadf7627809bd24c0593;hb=172cbfe894f84b595d7bce78528596a6b6612df4;hpb=9c12ad6dbcbc663b2179aaf21abaf132ec0398ae

diff --git a/doc/Makefile b/doc/Makefile
index 461a904..1e436d4 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,11 +3,27 @@
 # To build the PDFs, you will need these Debian packages:
 #	texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
 
-DOCS = index.html index.pdf \
-       mkws-manual.html mkws-manual.pdf \
-       mkws-developer.html mkws-developer.pdf \
+# Older versions of pandoc don't do PDF output, but have a companion program
+MARKDOWN2PDF = $(shell if which markdown2pdf > /dev/null; then echo markdown2pdf; else echo pandoc --standalone; fi)
+HAVE_PDFLATEX = $(shell which pdflatex 2>/dev/null)
+
+DOCS = index.html \
+       mkws-manual.html \
+       mkws-developer.html \
        mkws-doc.css
 
+PDFS = index.pdf \
+       mkws-manual.pdf \
+       mkws-developer.pdf
+
+#
+# skip PDF creation if pdflatex is not installed
+# The debian tex package may download up to 650MB
+#
+ifneq "${HAVE_PDFLATEX}" ""
+DOCS+= ${PDFS}
+endif
+
 INSTALLED = $(DOCS:%=../tools/htdocs/%)
 
 all: $(INSTALLED)
@@ -28,12 +44,9 @@ all: $(INSTALLED)
 	pandoc --standalone --toc -c mkws-doc.css $< | ./tweak-html > $@
 	chmod ugo-w $@
 
-# ### In order to compile the manual, which has tables, to PDF,
-# you will need to install the Debian package
-#	texlive-latex-recommended
 ../tools/htdocs/%.pdf: %.markdown
 	rm -f $@
-	pandoc --standalone $< -o $@
+	$(MARKDOWN2PDF) $< -o $@
 	chmod ugo-w $@
 
 clean:
@@ -51,4 +64,3 @@ push:
 
 help:
 	@echo "make [ all | clean | push ]"
-