doc-src/IsarAdvanced/Codegen/Makefile
author haftmann
Tue, 10 Oct 2006 12:08:12 +0200
changeset 20948 9b9910b82645
child 20989 c04bbfe71cef
permissions -rw-r--r--
initial draft
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
20948
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     1
#
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     2
# $Id$
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     3
#
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     4
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     5
## targets
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     6
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     7
default: dvi
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     8
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     9
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    10
## dependencies
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    11
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    12
include ../../Makefile.in
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    13
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    14
isabelle_isar.eps:
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    15
	test -r isabelle_isar.eps || ln -s ../../gfx/isabelle_isar.eps .
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    16
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    17
isabelle_isar.pdf:
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    18
	test -r isabelle_isar.pdf || ln -s ../../gfx/isabelle_isar.pdf .
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    19
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    20
NAME = codegen
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    21
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    22
FILES = $(NAME).tex Thy/document/Codegen.tex \
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    23
  style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    24
  ../../manual.bib ../../proof.sty
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    25
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    26
dvi: $(NAME).dvi
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    27
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    28
$(NAME).dvi: $(FILES) isabelle_isar.eps
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    29
	$(LATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    30
	$(BIBTEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    31
	$(LATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    32
	$(LATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    33
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    34
pdf: $(NAME).pdf
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    35
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    36
$(NAME).pdf: $(FILES) isabelle_isar.pdf
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    37
	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    38
	$(BIBTEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    39
	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    40
	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    41
	$(FIXBOOKMARKS) $(NAME).out
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    42
	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    43
	$(PDFLATEX) $(NAME)