doc-src/System/Makefile
author nipkow
Tue, 22 Mar 2011 12:49:07 +0100
changeset 42059 83f3dc509068
parent 32088 2110fcd86efb
permissions -rw-r--r--
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     1
## targets
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     2
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     3
default: dvi
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     4
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     5
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     6
## dependencies
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     7
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     8
include ../Makefile.in
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     9
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    10
NAME = system
28226
97c530dc8aca converted symbols.tex;
wenzelm
parents: 28224
diff changeset
    11
FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex	\
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    12
	Thy/document/Presentation.tex ../iman.sty ../extra.sty		\
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    13
	../ttbox.sty ../manual.bib
10580
930ac2bfa637 include table of Isabelle standard symbols;
wenzelm
parents: 9695
diff changeset
    14
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    15
dvi: $(NAME).dvi
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    16
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    17
$(NAME).dvi: $(FILES) isabelle.eps
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    18
	$(LATEX) $(NAME)
7207
wenzelm
parents: 6629
diff changeset
    19
	$(BIBTEX) $(NAME)
wenzelm
parents: 6629
diff changeset
    20
	$(LATEX) $(NAME)
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    21
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    22
	$(SEDINDEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    23
	$(LATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    24
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    25
pdf: $(NAME).pdf
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    26
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    27
$(NAME).pdf: $(FILES) isabelle.pdf
6623
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    28
	$(PDFLATEX) $(NAME)
7207
wenzelm
parents: 6629
diff changeset
    29
	$(BIBTEX) $(NAME)
wenzelm
parents: 6629
diff changeset
    30
	$(PDFLATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    31
	$(PDFLATEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    32
	$(SEDINDEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    33
	$(PDFLATEX) $(NAME)