doc-src/IsarRef/Makefile
author blanchet
Mon, 26 Apr 2010 21:41:54 +0200
changeset 36404 cb3dc64f13d7
parent 30168 9a20be5be90b
child 42511 bf89455ccf9d
permissions -rw-r--r--
make compile (and not just load dynamically)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7046
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     1
## targets
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     2
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     3
default: dvi
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     4
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     5
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     6
## dependencies
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     7
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     8
include ../Makefile.in
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     9
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    10
NAME = isar-ref
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    11
27048
0e86aab627f3 removed onsolete pure.thy (cf. Misc.thy);
wenzelm
parents: 27043
diff changeset
    12
FILES = isar-ref.tex style.sty Thy/document/Generic.tex			\
26906
6e8152678e06 use ../isabelle.sty, ../isabellesym.sty;
wenzelm
parents: 26898
diff changeset
    13
  Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex		\
6e8152678e06 use ../isabelle.sty, ../isabellesym.sty;
wenzelm
parents: 26898
diff changeset
    14
  Thy/document/ML_Tactic.tex Thy/document/Proof.tex			\
6e8152678e06 use ../isabelle.sty, ../isabellesym.sty;
wenzelm
parents: 26898
diff changeset
    15
  Thy/document/Quick_Reference.tex Thy/document/Spec.tex		\
28762
f5d79aeffd81 separate chapter "Inner syntax --- the term language";
wenzelm
parents: 27048
diff changeset
    16
  Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex		\
f5d79aeffd81 separate chapter "Inner syntax --- the term language";
wenzelm
parents: 27048
diff changeset
    17
  Thy/document/Introduction.tex Thy/document/Document_Preparation.tex	\
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    18
  Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    19
  Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty	\
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    20
  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../isabelle.sty	\
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    21
  ../isabellesym.sty ../pdfsetup.sty ../manual.bib
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    22
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    23
OUTPUT = syms.tex
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    24
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    25
syms.tex: showsymbols ../isabellesym.sty
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    26
	@./showsymbols <../isabellesym.sty >syms.tex
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    27
7046
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    28
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    29
dvi: $(NAME).dvi
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    30
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    31
$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
7046
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    32
	$(LATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    33
	$(RAIL) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    34
	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    35
	$(LATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    36
	$(LATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    37
	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    38
	$(LATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    39
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    40
pdf: $(NAME).pdf
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    41
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28762
diff changeset
    42
$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
7046
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    43
	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    44
	$(RAIL) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    45
	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    46
	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    47
	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    48
	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    49
	$(FIXBOOKMARKS) $(NAME).out
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
    50
	$(PDFLATEX) $(NAME)