wenzelm@6599: #
wenzelm@6599: # $Id$
wenzelm@6599: #
lcp@603: 
wenzelm@6599: ## targets
lcp@603: 
wenzelm@6599: default: dvi
lcp@603: 
wenzelm@2656: 
wenzelm@6599: ## dependencies
wenzelm@3164: 
wenzelm@6599: include ../Makefile.in
wenzelm@6599: 
wenzelm@6599: NAME = intro
wenzelm@6599: FILES = intro.tex foundations.tex getting.tex advanced.tex \
paulson@6668: 	../proof.sty ../iman.sty ../extra.sty ../manual.bib
wenzelm@6599: 
wenzelm@6599: dvi: $(NAME).dvi
wenzelm@6599: 
wenzelm@6599: $(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6599: 	touch $(NAME).ind
wenzelm@6599: 	$(LATEX) $(NAME)
wenzelm@6599: 	$(BIBTEX) $(NAME)
wenzelm@6599: 	$(LATEX) $(NAME)
wenzelm@6599: 	$(LATEX) $(NAME)
wenzelm@6599: 	$(SEDINDEX) $(NAME)
wenzelm@6599: 	$(LATEX) $(NAME)
wenzelm@6611: 
wenzelm@6611: pdf: $(NAME).pdf
wenzelm@6611: 
wenzelm@6617: $(NAME).pdf: $(FILES) isabelle.pdf
wenzelm@6611: 	touch $(NAME).ind
wenzelm@6611: 	$(PDFLATEX) $(NAME)
wenzelm@6611: 	$(BIBTEX) $(NAME)
wenzelm@6611: 	$(PDFLATEX) $(NAME)
wenzelm@6611: 	$(PDFLATEX) $(NAME)
wenzelm@6611: 	$(SEDINDEX) $(NAME)
wenzelm@6611: 	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6611: 	$(PDFLATEX) $(NAME)