Home | History | Annotate | Download | only in figures
      1 # Put user-specific changes in your own Makefile.user.
      2 # Make will silently continue if that file does not exist.
      3 -include Makefile.user
      4 
      5 
      6 PNGFILES = corresp.png dataflow.png nocast.png typecast.png
      7 
      8 all: ${EPSFILES} ${PDFFILES} ${PNGFILES} png-copy
      9 
     10 png-copy: ${PNGFILES}
     11 	cp -pf ${PNGFILES} ..
     12 
     13 %.png : %.dot
     14 	dot -Tpng $< > `basename $< .dot`.png
     15 
     16 clean:
     17 	@\rm -f *.eps
     18 	@\rm -f *.pdf
     19 	@\rm -f *.png
     20