doc-src/Ref/Makefile
author wenzelm
Wed, 25 Aug 1999 20:49:02 +0200
changeset 7357 d0e16da40ea2
parent 6668 fb098775306c
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
604
df621b2535aa New Makefile for Reference Manual
lcp
parents:
diff changeset
     8
df621b2535aa New Makefile for Reference Manual
lcp
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 = ref
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    15
FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex \
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    16
	thm.tex theories.tex defining.tex syntax.tex substitution.tex \
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    17
	simplifier.tex classical.tex theory-syntax.tex \
6668
fb098775306c ../manual.bib a new dependency
paulson
parents: 6629
diff changeset
    18
	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
604
df621b2535aa New Makefile for Reference Manual
lcp
parents:
diff changeset
    19
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    20
dvi: $(NAME).dvi
2657
448bb82c4003 rail output;
wenzelm
parents: 1111
diff changeset
    21
6600
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    22
$(NAME).dvi: $(FILES) isabelle.eps
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    23
	touch $(NAME).ind
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    24
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    25
	$(RAIL) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    26
	$(BIBTEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    27
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    28
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    29
	$(SEDINDEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    30
	$(LATEX) $(NAME)
6618
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    31
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    32
pdf: $(NAME).pdf
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    33
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    34
$(NAME).pdf: $(FILES) isabelle.pdf
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    35
	touch $(NAME).ind
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    36
	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    37
	$(RAIL) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    38
	$(BIBTEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    39
	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    40
	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    41
	$(SEDINDEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    42
	$(FIXBOOKMARKS) $(NAME).out
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    43
	$(PDFLATEX) $(NAME)