# 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 |