From: Wolfram Schneider <wosch@indexdata.dk>
Date: Tue, 21 Oct 2014 15:52:21 +0000 (+0000)
Subject: skip PDF creation if pdflatex is not installed, MKWS-300
X-Git-Tag: 1.0.0~148
X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=commitdiff_plain;h=26b8fa3321fc667dd08dce708f51f49ce5352182

skip PDF creation if pdflatex is not installed, MKWS-300
---

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 ]"
-