author | immler@in.tum.de |
Thu, 26 Feb 2009 10:13:43 +0100 | |
changeset 30151 | 629f3a92863e |
parent 9695 | ec7d7f877712 |
child 42637 | 381fdcab0f36 |
permissions | -rw-r--r-- |
# # $Id$ # ## targets default: dvi ## dependencies include ../Makefile.in NAME = ind-defs FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib dvi: $(NAME).dvi $(NAME).dvi: $(FILES) $(LATEX) $(NAME) $(BIBTEX) $(NAME) $(LATEX) $(NAME) $(LATEX) $(NAME) pdf: $(NAME).pdf $(NAME).pdf: $(FILES) $(PDFLATEX) $(NAME) $(BIBTEX) $(NAME) $(PDFLATEX) $(NAME) $(PDFLATEX) $(NAME) $(FIXBOOKMARKS) $(NAME).out $(PDFLATEX) $(NAME)