author | wenzelm |
Sat, 03 May 2008 13:26:08 +0200 | |
changeset 26779 | 35809287ab23 |
parent 26767 | cc127cc0951b |
child 26782 | 19363c70b5c4 |
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 Thy/document/intro.tex basics.tex Thy/document/syntax.tex \
17 Thy/document/pure.tex generic.tex logics.tex Thy/document/Quick_Reference.tex \
18 conversion.tex \
19 ../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
20 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
22 dvi: $(NAME).dvi
24 $(NAME).dvi: $(FILES) isabelle_isar.eps
25 $(LATEX) $(NAME)
26 $(RAIL) $(NAME)
27 $(BIBTEX) $(NAME)
28 $(LATEX) $(NAME)
29 $(LATEX) $(NAME)
30 $(SEDINDEX) $(NAME)
31 $(LATEX) $(NAME)
33 pdf: $(NAME).pdf
35 $(NAME).pdf: $(FILES) isabelle_isar.pdf
36 $(PDFLATEX) $(NAME)
37 $(RAIL) $(NAME)
38 $(BIBTEX) $(NAME)
39 $(PDFLATEX) $(NAME)
40 $(PDFLATEX) $(NAME)
41 $(SEDINDEX) $(NAME)
42 $(FIXBOOKMARKS) $(NAME).out
43 $(PDFLATEX) $(NAME)