author | blanchet |
Thu, 19 Jan 2012 21:37:12 +0100 | |
changeset 46300 | 6ded25a6098a |
parent 42637 | 381fdcab0f36 |
permissions | -rw-r--r-- |
## targets default: dvi ## dependencies include ../Makefile.in NAME = nitpick FILES = nitpick.tex ../iman.sty ../manual.bib dvi: $(NAME).dvi $(NAME).dvi: $(FILES) isabelle_nitpick.eps $(LATEX) $(NAME) $(BIBTEX) $(NAME) $(LATEX) $(NAME) $(LATEX) $(NAME) $(SEDINDEX) $(NAME) $(LATEX) $(NAME) pdf: $(NAME).pdf $(NAME).pdf: $(FILES) isabelle_nitpick.pdf $(PDFLATEX) $(NAME) $(BIBTEX) $(NAME) $(PDFLATEX) $(NAME) $(PDFLATEX) $(NAME) $(SEDINDEX) $(NAME) $(FIXBOOKMARKS) $(NAME).out $(PDFLATEX) $(NAME)