author | wenzelm |
Mon, 10 May 1999 17:44:17 +0200 | |
changeset 6629 | 6edc66a9d80b |
parent 6623 | 021728c71030 |
child 7207 | ad69aa13ddf6 |
permissions | -rw-r--r-- |
# # $Id$ # ## targets default: dvi ## dependencies include ../Makefile.in NAME = system FILES = system.tex basics.tex misc.tex fonts.tex present.tex \ ../iman.sty ../extra.sty dvi: $(NAME).dvi $(NAME).dvi: $(FILES) isabelle.eps touch $(NAME).ind $(LATEX) $(NAME) $(LATEX) $(NAME) $(SEDINDEX) $(NAME) $(LATEX) $(NAME) pdf: $(NAME).pdf $(NAME).pdf: $(FILES) isabelle.pdf touch $(NAME).ind $(PDFLATEX) $(NAME) $(PDFLATEX) $(NAME) $(SEDINDEX) $(NAME) $(PDFLATEX) $(NAME)