author | wenzelm |
Mon, 02 May 2011 22:31:46 +0200 | |
changeset 43508 | 381fdcab0f36 |
parent 36918 | 90bb12cf8e36 |
permissions | -rw-r--r-- |
2 ## targets
4 default: dvi
7 ## dependencies
9 include ../Makefile.in
11 NAME = sledgehammer
12 FILES = sledgehammer.tex ../iman.sty ../manual.bib
14 dvi: $(NAME).dvi
16 $(NAME).dvi: $(FILES) isabelle_sledgehammer.eps
17 $(LATEX) $(NAME)
18 $(BIBTEX) $(NAME)
19 $(LATEX) $(NAME)
20 $(LATEX) $(NAME)
21 $(SEDINDEX) $(NAME)
22 $(LATEX) $(NAME)
24 pdf: $(NAME).pdf
26 $(NAME).pdf: $(FILES) isabelle_sledgehammer.pdf
27 $(PDFLATEX) $(NAME)
28 $(BIBTEX) $(NAME)
29 $(PDFLATEX) $(NAME)
30 $(PDFLATEX) $(NAME)
31 $(SEDINDEX) $(NAME)
32 $(FIXBOOKMARKS) $(NAME).out
33 $(PDFLATEX) $(NAME)