blanchet@36918: #
blanchet@36918: # $Id$
blanchet@36918: #
blanchet@36918: 
blanchet@36918: ## targets
blanchet@36918: 
blanchet@36918: default: dvi
blanchet@36918: 
blanchet@36918: 
blanchet@36918: ## dependencies
blanchet@36918: 
blanchet@36918: include ../Makefile.in
blanchet@36918: 
blanchet@36918: NAME = sledgehammer
blanchet@36918: FILES = sledgehammer.tex ../iman.sty ../manual.bib
blanchet@36918: 
blanchet@36918: dvi: $(NAME).dvi
blanchet@36918: 
blanchet@36918: $(NAME).dvi: $(FILES) isabelle_sledgehammer.eps
blanchet@36918: 	$(LATEX) $(NAME)
blanchet@36918: 	$(BIBTEX) $(NAME)
blanchet@36918: 	$(LATEX) $(NAME)
blanchet@36918: 	$(LATEX) $(NAME)
blanchet@36918: 	$(SEDINDEX) $(NAME)
blanchet@36918: 	$(LATEX) $(NAME)
blanchet@36918: 
blanchet@36918: pdf: $(NAME).pdf
blanchet@36918: 
blanchet@36918: $(NAME).pdf: $(FILES) isabelle_sledgehammer.pdf
blanchet@36918: 	$(PDFLATEX) $(NAME)
blanchet@36918: 	$(BIBTEX) $(NAME)
blanchet@36918: 	$(PDFLATEX) $(NAME)
blanchet@36918: 	$(PDFLATEX) $(NAME)
blanchet@36918: 	$(SEDINDEX) $(NAME)
blanchet@36918: 	$(FIXBOOKMARKS) $(NAME).out
blanchet@36918: 	$(PDFLATEX) $(NAME)