Makefile 480 B

12345678910111213141516171819202122232425262728293031323334
  1. default : paper.ps
  2. paper.ps paper.dvi paper.pdf : macros.tex
  3. ifeq ($(shell which latexmk),)
  4. %.dvi : %.tex
  5. latex --interaction=nonstopmode $<
  6. latex --interaction=nonstopmode $<
  7. %.pdf : %.tex
  8. pdflatex $<
  9. %.ps : %.dvi
  10. dvips -o $@ $<
  11. else
  12. %.pdf : %.tex
  13. latexmk -pdf $<
  14. %.ps : %.tex
  15. latexmk -ps $<
  16. endif
  17. %.tex : %.lhs
  18. lhs2TeX --poly $< > $@
  19. always :
  20. @while true; do $(MAKE) | grep -v "Nothing to be done" | grep -v "\(Leaving\|Entering\) directory"; sleep 1; done