Makefile

   1 # pdflatex (as opposed to latex + xdvi) has the problem that it doesn't force the generation of the missing fonts;
   2 # this is why I add an option. -- https://bugzilla.altlinux.org/show_bug.cgi?id=24474
   3 # (It's true at least for the old, "buggy" teTeX in ALTLinux; TeXLive might do better.)
   4 PDFLATEX = pdflatex -mktex=pk
   5
   6 # The first goal is the default one:
   7
   8 scalimp_inference.pdf: scalimp_inference.tex
   9         $(PDFLATEX) $< \
  10         && $(PDFLATEX) $< \
  11         && $(PDFLATEX) $<
  12         # latex, as usual, is run the 2nd time to get the refs correct, and the 3rd time to stabilize the page numbers.