nodist/Makefile

   1 TEX2PDF=latexmk -silent -quiet -rules- -pdf > /dev/null
   2 MP2MPS=mpost -interaction=batchmode > /dev/null
   3 CONVERT=convert -flatten -density 150 -quality 90
   4
   5 all: overview.pdf desktop.png web.png
   6
   7 overview.pdf: overview.tex symbols-0.mps ALWAYS_OUTDATED
   8         @echo "  DOC    overview.pdf" ; \
   9         $(TEX2PDF) overview.tex
  10
  11 symbols-0.mps: symbols.mp
  12         @echo "  DOC    symbols" ; \
  13         $(MP2MPS) symbols.mp
  14
  15 desktop.png: overview.pdf
  16         @echo "  DOC    desktop.png" ; \
  17         $(CONVERT) overview.pdf[0] desktop.png
  18
  19 web.png: overview.pdf
  20         @echo "  DOC    web.png" ; \
  21         $(CONVERT) overview.pdf[1] web.png
  22
  23 clean:
  24         @echo "  RM     ." ; \
  25         latexmk -C -silent ; \
  26         rm -f *.mps symbols.log desktop.png web.png
  27
  28 # ALWAYS_OUTDATED is a dummy phony target needed to force the build:
  29 # latexmk is the one that will take care of the dependencies.
  30 .PHONY: all clean ALWAYS_OUTDATED