doc-src/System/Makefile
author wenzelm
Wed, 25 Aug 1999 20:49:02 +0200
changeset 7357 d0e16da40ea2
parent 7207 ad69aa13ddf6
child 8828 5be2d1745c61
permissions -rw-r--r--
proper bootstrap of HOL theory and packages;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     1
#
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     2
# $Id$
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     3
#
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     4
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     5
## targets
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     6
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
     7
default: dvi
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     8
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     9
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    10
## dependencies
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    11
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    12
include ../Makefile.in
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    13
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    14
NAME = system
6601
51eed1aefccd fixed FILES;
wenzelm
parents: 6600
diff changeset
    15
FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
7207
wenzelm
parents: 6629
diff changeset
    16
	../iman.sty ../extra.sty ../manual.bib
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    17
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    18
dvi: $(NAME).dvi
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    19
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    20
$(NAME).dvi: $(FILES) isabelle.eps
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    21
	touch $(NAME).ind
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    22
	$(LATEX) $(NAME)
7207
wenzelm
parents: 6629
diff changeset
    23
	$(BIBTEX) $(NAME)
wenzelm
parents: 6629
diff changeset
    24
	$(LATEX) $(NAME)
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    25
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    26
	$(SEDINDEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    27
	$(LATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    28
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    29
pdf: $(NAME).pdf
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    30
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    31
$(NAME).pdf: $(FILES) isabelle.pdf
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    32
	touch $(NAME).ind
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    33
	$(PDFLATEX) $(NAME)
7207
wenzelm
parents: 6629
diff changeset
    34
	$(BIBTEX) $(NAME)
wenzelm
parents: 6629
diff changeset
    35
	$(PDFLATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    36
	$(PDFLATEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    37
	$(SEDINDEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6601
diff changeset
    38
	$(PDFLATEX) $(NAME)