krauss@21212: #
krauss@21212: # $Id$
krauss@21212: #
krauss@21212: 
krauss@21212: ## targets
krauss@21212: 
krauss@21212: default: dvi
krauss@21212: 
krauss@21212: 
krauss@21212: ## dependencies
krauss@21212: 
krauss@21212: include ../Makefile.in
krauss@21212: 
krauss@21212: NAME = functions
krauss@21212: 
krauss@23188: FILES = $(NAME).tex Thy/document/Functions.tex intro.tex conclusion.tex \
haftmann@30209:   style.sty ../iman.sty ../extra.sty ../isar.sty \
haftmann@30209:   ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
haftmann@30209:   ../manual.bib ../proof.sty
krauss@21212: 
krauss@21212: dvi: $(NAME).dvi
krauss@21212: 
krauss@21212: $(NAME).dvi: $(FILES) isabelle_isar.eps
krauss@21212: 	$(LATEX) $(NAME)
krauss@21212: 	$(BIBTEX) $(NAME)
krauss@21212: 	$(LATEX) $(NAME)
krauss@21212: 	$(LATEX) $(NAME)
krauss@21212: 
krauss@21212: pdf: $(NAME).pdf
krauss@21212: 
krauss@21212: $(NAME).pdf: $(FILES) isabelle_isar.pdf
krauss@21212: 	$(PDFLATEX) $(NAME)
krauss@21212: 	$(BIBTEX) $(NAME)
krauss@21212: 	$(PDFLATEX) $(NAME)
krauss@21212: 	$(PDFLATEX) $(NAME)
krauss@21212: 	$(FIXBOOKMARKS) $(NAME).out
krauss@21212: 	$(PDFLATEX) $(NAME)
krauss@21212: 	$(PDFLATEX) $(NAME)