projects
/
mkws-moved-to-github.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Widget is called "auth-name" not "authname".
[mkws-moved-to-github.git]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index
353425f
..
1e436d4
100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-4,13
+4,26
@@
# texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
# Older versions of pandoc don't do PDF output, but have a companion program
# texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
# Older versions of pandoc don't do PDF output, but have a companion program
-MARKDOWN2PDF = $(shell which markdown2pdf pandoc | sed 1q)
+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
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)
INSTALLED = $(DOCS:%=../tools/htdocs/%)
all: $(INSTALLED)
@@
-31,12
+44,9
@@
all: $(INSTALLED)
pandoc --standalone --toc -c mkws-doc.css $< | ./tweak-html > $@
chmod ugo-w $@
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 $@
../tools/htdocs/%.pdf: %.markdown
rm -f $@
- $(MARKDOWN2PDF) --standalone $< -o $@
+ $(MARKDOWN2PDF) $< -o $@
chmod ugo-w $@
clean:
chmod ugo-w $@
clean:
@@
-54,4
+64,3
@@
push:
help:
@echo "make [ all | clean | push ]"
help:
@echo "make [ all | clean | push ]"
-