author | wenzelm |
Mon, 15 Sep 2008 20:51:58 +0200 | |
changeset 28226 | 97c530dc8aca |
parent 28224 | 10487d954a8f |
child 28838 | d5db6dfcb34a |
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 Thy/document/Basics.tex Thy/document/Misc.tex \
16 Thy/document/Presentation.tex Thy/document/Symbols.tex \
17 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
18 OUTPUT = syms.tex
20 syms.tex: showsymbols ../isabellesym.sty
21 @./showsymbols <../isabellesym.sty >syms.tex
23 dvi: $(NAME).dvi
25 $(NAME).dvi: $(FILES) isabelle.eps syms.tex
26 $(LATEX) $(NAME)
27 $(BIBTEX) $(NAME)
28 $(LATEX) $(NAME)
29 $(LATEX) $(NAME)
30 $(SEDINDEX) $(NAME)
31 $(LATEX) $(NAME)
33 pdf: $(NAME).pdf
35 $(NAME).pdf: $(FILES) isabelle.pdf syms.tex
36 $(PDFLATEX) $(NAME)
37 $(BIBTEX) $(NAME)
38 $(PDFLATEX) $(NAME)
39 $(PDFLATEX) $(NAME)
40 $(SEDINDEX) $(NAME)
41 $(PDFLATEX) $(NAME)