| author | wenzelm |
| Mon, 10 May 1999 17:44:17 +0200 | |
| changeset 6629 | 6edc66a9d80b |
| parent 6623 | 021728c71030 |
| child 7207 | ad69aa13ddf6 |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = system
15 FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
16 ../iman.sty ../extra.sty
18 dvi: $(NAME).dvi
20 $(NAME).dvi: $(FILES) isabelle.eps
21 touch $(NAME).ind
22 $(LATEX) $(NAME)
23 $(LATEX) $(NAME)
24 $(SEDINDEX) $(NAME)
25 $(LATEX) $(NAME)
27 pdf: $(NAME).pdf
29 $(NAME).pdf: $(FILES) isabelle.pdf
30 touch $(NAME).ind
31 $(PDFLATEX) $(NAME)
32 $(PDFLATEX) $(NAME)
33 $(SEDINDEX) $(NAME)
34 $(PDFLATEX) $(NAME)