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=$@ $<