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

diff --git a/doc/Makefile b/doc/Makefile
index c224fa0..7e59c93 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,14 +3,23 @@
 # To build the PDFs, you will need these Debian packages:
 #	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 if which markdown2pdf > /dev/null; then echo markdown2pdf; else echo pandoc --standalone; fi)
+
 DOCS = index.html index.pdf \
        mkws-manual.html mkws-manual.pdf \
-       mkws-developer.html mkws-developer.pdf
+       mkws-developer.html mkws-developer.pdf \
+       mkws-doc.css
 
 INSTALLED = $(DOCS:%=../tools/htdocs/%)
 
 all: $(INSTALLED)
 
+../tools/htdocs/%: %
+	rm -f $@
+	cp $< $@
+	chmod ugo-w $@
+
 # For a description of pandoc's markdown format, see:
 # http://johnmacfarlane.net/pandoc/demo/example9/pandocs-markdown.html
 
@@ -27,13 +36,16 @@ all: $(INSTALLED)
 #	texlive-latex-recommended
 ../tools/htdocs/%.pdf: %.markdown
 	rm -f $@
-	pandoc --standalone $< -o $@
+	$(MARKDOWN2PDF) $< -o $@
 	chmod ugo-w $@
 
 clean:
 	rm -f $(INSTALLED)
 	rm -f *.drupal.html
 
+distclean: clean
+	# Nothing more to remove in the doc directory
+
 push:
 	pandoc --toc index.markdown > index.drupal.html
 	pandoc --toc mkws-manual.markdown > mkws-manual.drupal.html