blob: a3ecaf29ff8304414c6f660d7c116adc51a6dfaf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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=$@ $<
|
