author | wenzelm |
Mon, 10 May 1999 16:35:22 +0200 | |
changeset 6623 | 021728c71030 |
parent 6601 | 51eed1aefccd |
child 6629 | 6edc66a9d80b |
permissions | -rw-r--r-- |
# # $Id$ # ## targets default: dvi dist: 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)