Makefile 499 B

12345678910111213141516171819202122232425262728293031323334
  1. default : implicit.pdf
  2. implicit.ps implicit.dvi implicit.pdf : $(wildcard *.tex) examples.tex exintro.tex lhs2TeXpreamble.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) implicit.ps; sleep 1; done | grep -v "^make"