diff options
| author | Johann Latocha | 2011-03-02 02:08:42 +0100 |
|---|---|---|
| committer | Johann Latocha | 2011-03-02 02:08:42 +0100 |
| commit | 3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796 (patch) | |
| tree | 99fdd6aa4c0073e747902486e703e1d738da8369 /doc/Makefile | |
| parent | fix cmake paths (diff) | |
| download | pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.gz pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.xz pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.zip | |
Win32 clean out
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..a3ecaf2 --- /dev/null +++ b/doc/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=$@ $< |