| author | wenzelm |
| Thu, 08 May 2008 12:29:18 +0200 | |
| changeset 26849 | df50bc1249d7 |
| parent 26846 | 2e6726015771 |
| child 26857 | c7709b3e1a4e |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = isar-ref
16 FILES = isar-ref.tex basics.tex Thy/document/Generic.tex \
17 Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex \
18 Thy/document/ML_Tactic.tex Thy/document/Quick_Reference.tex \
19 Thy/document/ZF_Specific.tex Thy/document/intro.tex \
20 Thy/document/pure.tex Thy/document/syntax.tex \
21 ../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
22 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
24 dvi: $(NAME).dvi
26 $(NAME).dvi: $(FILES) isabelle_isar.eps
27 $(LATEX) $(NAME)
28 $(RAIL) $(NAME)
29 $(BIBTEX) $(NAME)
30 $(LATEX) $(NAME)
31 $(LATEX) $(NAME)
32 $(SEDINDEX) $(NAME)
33 $(LATEX) $(NAME)
35 pdf: $(NAME).pdf
37 $(NAME).pdf: $(FILES) isabelle_isar.pdf
38 $(PDFLATEX) $(NAME)
39 $(RAIL) $(NAME)
40 $(BIBTEX) $(NAME)
41 $(PDFLATEX) $(NAME)
42 $(PDFLATEX) $(NAME)
43 $(SEDINDEX) $(NAME)
44 $(FIXBOOKMARKS) $(NAME).out
45 $(PDFLATEX) $(NAME)