Makefile

   1 all: stone.dvi stone2.dvi stone3.dvi gilgal.dvi stone.png stone2.png stone3.png
   2
   3 %.dvi: %.tex gilgal.mf
   4         latex $<
   5
   6 gilgal.dvi: gilgal.mf
   7         mf gilgal.mf
   8         gftodvi gilgal.2602gf
   9
  10 %.ps: %.dvi
  11         dvips -o $@ -D 1200 -mode ultre $<
  12
  13 %.png: %.ps
  14         gs -r1200 -dDownScaleFactor=8 -sDEVICE=pnggray -sOutputFile=$@ -dBATCH -dNOPAUSE -c '<</Orientation 3>> setpagedevice' -f $<
  15
  16 clean:
  17         -rm -f gilgal.[0-9]*gf gilgal.[0-9]*pk gilgal.tfm *.aux *.log