doc-src/Classes/Makefile
changeset 30226 2f4684e2ea95
parent 26911 871cc7f11034
child 42511 bf89455ccf9d
     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)