doc-src/Ref/Makefile
author wenzelm
Sun, 18 May 2008 15:04:41 +0200
changeset 26948 efe3e0e235d6
parent 9695 ec7d7f877712
child 30184 37969710e61f
permissions -rw-r--r--
Syntax.string_of_typ: proper context;
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 \
9695
ec7d7f877712 proper setup of iman.sty/extra.sty/ttbox.sty;
wenzelm
parents: 8828
diff changeset
    18
	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.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
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    24
	$(RAIL) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    25
	$(BIBTEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    26
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    27
	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    28
	$(SEDINDEX) $(NAME)
5a94bd71cc41 improved Makefile;
wenzelm
parents: 5548
diff changeset
    29
	$(LATEX) $(NAME)
6618
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    30
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    31
pdf: $(NAME).pdf
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    32
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    33
$(NAME).pdf: $(FILES) isabelle.pdf
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    34
	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    35
	$(RAIL) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    36
	$(BIBTEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    37
	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    38
	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    39
	$(SEDINDEX) $(NAME)
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    40
	$(FIXBOOKMARKS) $(NAME).out
13293a7d4a57 pdf setup;
wenzelm
parents: 6600
diff changeset
    41
	$(PDFLATEX) $(NAME)