From f9af14cfa92bf582b21f5329ca178f843cec429f Mon Sep 17 00:00:00 2001
From: Sebastien Braun
Date: Wed, 10 Nov 2010 01:44:33 +0100
Subject: Add Makefile to generate PDF from DIA figures and call pdflatex and
 makeindex.

---
 doc/LaTeX/Makefile | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 doc/LaTeX/Makefile

(limited to 'doc')

diff --git a/doc/LaTeX/Makefile b/doc/LaTeX/Makefile
new file mode 100644
index 0000000..a3ecaf2
--- /dev/null
+++ b/doc/LaTeX/Makefile
@@ -0,0 +1,20 @@
+GENERATED_EPS_IMAGES = $(addsuffix .eps,$(basename $(shell echo bilder/*.dia)))
+GENERATED_PDF_IMAGES = $(addsuffix .pdf,$(basename $(GENERATED_EPS_IMAGES)))
+
+build: $(GENERATED_PDF_IMAGES)
+	pdflatex pvs-doc
+	pdflatex pvs-doc
+	makeindex pvs-doc
+	pdflatex pvs-doc
+.PHONY: build
+
+clean:
+	rm -f $(GENERATED_PDF_IMAGES) $(GENERATED_EPS_IMAGES)
+	rm -f pvs-doc.aux pvs-doc.idx pvs-doc.ilg pvs-doc.ing pvs-doc.log pvs-doc.out pvs-doc.pdf pvs-doc.toc
+.PHONY: clean
+
+%.eps : %.dia
+	dia -e $@ $<
+
+%.pdf : %.eps
+	epstopdf --outfile=$@ $<
-- 
cgit v1.2.3-55-g7522