From 26b8fa3321fc667dd08dce708f51f49ce5352182 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Tue, 21 Oct 2014 15:52:21 +0000 Subject: [PATCH] skip PDF creation if pdflatex is not installed, MKWS-300 --- doc/Makefile | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) 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 ]" - -- 1.7.10.4