| author | bulwahn |
| Fri Mar 18 18:19:42 2011 +0100 (2011-03-18) | |
| changeset 42020 | 2da02764d523 |
| parent 30226 | 2f4684e2ea95 |
| child 42511 | bf89455ccf9d |
| permissions | -rw-r--r-- |
2 ## targets
4 default: dvi
7 ## dependencies
9 include ../Makefile.in
11 NAME = classes
13 FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
14 style.sty ../iman.sty ../extra.sty ../isar.sty \
15 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
16 ../manual.bib ../proof.sty
18 dvi: $(NAME).dvi
20 $(NAME).dvi: $(FILES) isabelle_isar.eps
21 $(LATEX) $(NAME)
22 $(BIBTEX) $(NAME)
23 $(LATEX) $(NAME)
24 $(LATEX) $(NAME)
26 pdf: $(NAME).pdf
28 $(NAME).pdf: $(FILES) isabelle_isar.pdf
29 $(PDFLATEX) $(NAME)
30 $(BIBTEX) $(NAME)
31 $(PDFLATEX) $(NAME)
32 $(PDFLATEX) $(NAME)
33 $(FIXBOOKMARKS) $(NAME).out
34 $(PDFLATEX) $(NAME)
35 $(PDFLATEX) $(NAME)