1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/Classes/Makefile Tue Mar 03 11:00:51 2009 +0100
1.3 @@ -0,0 +1,35 @@
1.4 +
1.5 +## targets
1.6 +
1.7 +default: dvi
1.8 +
1.9 +
1.10 +## dependencies
1.11 +
1.12 +include ../Makefile.in
1.13 +
1.14 +NAME = classes
1.15 +
1.16 +FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
1.17 + style.sty ../iman.sty ../extra.sty ../isar.sty \
1.18 + ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
1.19 + ../manual.bib ../proof.sty
1.20 +
1.21 +dvi: $(NAME).dvi
1.22 +
1.23 +$(NAME).dvi: $(FILES) isabelle_isar.eps
1.24 + $(LATEX) $(NAME)
1.25 + $(BIBTEX) $(NAME)
1.26 + $(LATEX) $(NAME)
1.27 + $(LATEX) $(NAME)
1.28 +
1.29 +pdf: $(NAME).pdf
1.30 +
1.31 +$(NAME).pdf: $(FILES) isabelle_isar.pdf
1.32 + $(PDFLATEX) $(NAME)
1.33 + $(BIBTEX) $(NAME)
1.34 + $(PDFLATEX) $(NAME)
1.35 + $(PDFLATEX) $(NAME)
1.36 + $(FIXBOOKMARKS) $(NAME).out
1.37 + $(PDFLATEX) $(NAME)
1.38 + $(PDFLATEX) $(NAME)