author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 30184 | 37969710e61f |
child 44138 | 287182c2f23a |
permissions | -rw-r--r-- |
2 ## targets
4 default: dvi
7 ## dependencies
9 include ../Makefile.in
11 NAME = ref
12 FILES = ref.tex introduction.tex tactic.tex tctical.tex thm.tex \
13 theories.tex defining.tex syntax.tex substitution.tex \
14 simplifier.tex classical.tex ../proof.sty ../iman.sty \
15 ../extra.sty ../ttbox.sty ../manual.bib
17 dvi: $(NAME).dvi
19 $(NAME).dvi: $(FILES) isabelle.eps
20 $(LATEX) $(NAME)
21 $(BIBTEX) $(NAME)
22 $(LATEX) $(NAME)
23 $(LATEX) $(NAME)
24 $(SEDINDEX) $(NAME)
25 $(LATEX) $(NAME)
27 pdf: $(NAME).pdf
29 $(NAME).pdf: $(FILES) isabelle.pdf
30 $(PDFLATEX) $(NAME)
31 $(BIBTEX) $(NAME)
32 $(PDFLATEX) $(NAME)
33 $(PDFLATEX) $(NAME)
34 $(SEDINDEX) $(NAME)
35 $(FIXBOOKMARKS) $(NAME).out
36 $(PDFLATEX) $(NAME)