wenzelm@6637: #
wenzelm@6637: # $Id$
wenzelm@6637: #
wenzelm@3162: 
wenzelm@6637: ## targets
wenzelm@6629: 
wenzelm@6637: default: dvi
wenzelm@3162: 
wenzelm@3162: 
wenzelm@6637: ## dependencies
wenzelm@3165: 
wenzelm@6637: include ../Makefile.in
wenzelm@3165: 
wenzelm@6637: NAME = ind-defs
wenzelm@9695: FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
wenzelm@3165: 
wenzelm@6637: dvi: $(NAME).dvi
wenzelm@6637: 
wenzelm@6637: $(NAME).dvi: $(FILES)
wenzelm@6637: 	$(LATEX) $(NAME)
wenzelm@6637: 	$(BIBTEX) $(NAME)
wenzelm@6637: 	$(LATEX) $(NAME)
wenzelm@6637: 	$(LATEX) $(NAME)
wenzelm@6637: 
wenzelm@6637: pdf: $(NAME).pdf
wenzelm@6637: 
wenzelm@6637: $(NAME).pdf: $(FILES)
wenzelm@6637: 	$(PDFLATEX) $(NAME)
wenzelm@6637: 	$(BIBTEX) $(NAME)
wenzelm@6637: 	$(PDFLATEX) $(NAME)
wenzelm@6637: 	$(PDFLATEX) $(NAME)
wenzelm@6637: 	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6637: 	$(PDFLATEX) $(NAME)