nodist/Makefile

   1 TEX2PDF=latexmk -silent -quiet -rules- -pdf > /dev/null
   2 MP2MPS=mpost -interaction=batchmode > /dev/null
   3
   4 all: overview.pdf
   5
   6 overview.pdf: overview.tex symbols-0.mps ALWAYS_OUTDATED
   7         @echo "  DOC    overview" ; \
   8         $(TEX2PDF) overview.tex
   9
  10 symbols-0.mps: symbols.mp
  11         @echo "  DOC    symbols" ; \
  12         $(MP2MPS) symbols.mp
  13
  14 clean:
  15         @echo "  RM     ." ; \
  16         latexmk -C -silent ; \
  17         rm -f *.mps symbols.log
  18
  19 # ALWAYS_OUTDATED is a dummy phony target needed to force the build:
  20 # latexmk is the one that will take care of the dependencies.
  21 .PHONY: all clean ALWAYS_OUTDATED