# Put user-specific changes in your own Makefile.user.
# Make will silently continue if that file does not exist.
-include Makefile.user
PNGFILES = corresp.png dataflow.png nocast.png typecast.png
all: ${EPSFILES} ${PDFFILES} ${PNGFILES} png-copy
png-copy: ${PNGFILES}
cp -pf ${PNGFILES} ..
%.png : %.dot
dot -Tpng $< > `basename $< .dot`.png
clean:
@\rm -f *.eps
@\rm -f *.pdf
@\rm -f *.png