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

diff --git a/doc/Makefile b/doc/Makefile
index 7d2cbbd..1e436d4 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,12 +5,25 @@
 
 # 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 index.pdf \
-       mkws-manual.html mkws-manual.pdf \
-       mkws-developer.html mkws-developer.pdf \
+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)
@@ -51,4 +64,3 @@ push:
 
 help:
 	@echo "make [ all | clean | push ]"
-