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

diff --git a/doc/Makefile b/doc/Makefile
index 7e59c93..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)
@@ -31,9 +44,6 @@ 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 $@
 	$(MARKDOWN2PDF) $< -o $@
@@ -54,4 +64,3 @@ push:
 
 help:
 	@echo "make [ all | clean | push ]"
-