wenzelm@18537: 
wenzelm@18537: ## targets
wenzelm@18537: 
wenzelm@18537: default: dvi
wenzelm@18537: 
wenzelm@18537: 
wenzelm@18537: ## dependencies
wenzelm@18537: 
wenzelm@18537: include ../Makefile.in
wenzelm@18537: 
wenzelm@18537: NAME = implementation
wenzelm@18537: 
wenzelm@30124: FILES = ../extra.sty ../iman.sty ../isabelle.sty ../isabellesym.sty	\
wenzelm@30124:   ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty		\
wenzelm@30295:   Thy/document/Integration.tex Thy/document/Isar.tex			\
wenzelm@30295:   Thy/document/Local_Theory.tex Thy/document/Logic.tex			\
wenzelm@30295:   Thy/document/Prelim.tex Thy/document/Proof.tex			\
wenzelm@30295:   Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex	\
wenzelm@30295:   style.sty
wenzelm@18537: 
wenzelm@18537: dvi: $(NAME).dvi
wenzelm@18537: 
wenzelm@18537: $(NAME).dvi: $(FILES) isabelle_isar.eps
wenzelm@18537: 	$(LATEX) $(NAME)
wenzelm@18537: 	$(BIBTEX) $(NAME)
wenzelm@18537: 	$(LATEX) $(NAME)
wenzelm@18537: 	$(LATEX) $(NAME)
wenzelm@18537: 	$(SEDINDEX) $(NAME)
wenzelm@18537: 	$(LATEX) $(NAME)
wenzelm@18537: 	$(LATEX) $(NAME)
wenzelm@18537: 
wenzelm@18537: pdf: $(NAME).pdf
wenzelm@18537: 
wenzelm@18537: $(NAME).pdf: $(FILES) isabelle_isar.pdf
wenzelm@18537: 	$(PDFLATEX) $(NAME)
wenzelm@18537: 	$(BIBTEX) $(NAME)
wenzelm@18537: 	$(PDFLATEX) $(NAME)
wenzelm@18537: 	$(PDFLATEX) $(NAME)
wenzelm@18537: 	$(SEDINDEX) $(NAME)
wenzelm@18537: 	$(FIXBOOKMARKS) $(NAME).out
wenzelm@18537: 	$(PDFLATEX) $(NAME)
wenzelm@18537: 	$(PDFLATEX) $(NAME)