diff options
author | Sebastien Braun | 2010-11-10 01:44:33 +0100 |
---|---|---|
committer | Sebastien Braun | 2010-11-10 01:44:33 +0100 |
commit | f9af14cfa92bf582b21f5329ca178f843cec429f (patch) | |
tree | dd2c0181076e1beb42d06be78f888cf32588d178 /doc | |
parent | Add DIA figures from Sébastien's Bachelor Thesis. (diff) | |
download | pvs-f9af14cfa92bf582b21f5329ca178f843cec429f.tar.gz pvs-f9af14cfa92bf582b21f5329ca178f843cec429f.tar.xz pvs-f9af14cfa92bf582b21f5329ca178f843cec429f.zip |
Add Makefile to generate PDF from DIA figures and call pdflatex and
makeindex.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/LaTeX/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
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=$@ $< |