doc-src/IsarRef/Makefile
author haftmann
Fri Dec 29 12:11:04 2006 +0100 (2006-12-29)
changeset 21927 9677abe5d374
parent 12621 48cafea0684b
child 26741 eb15fd4cd1ad
permissions -rw-r--r--
added handling for explicit classrel witnesses
wenzelm@7046
     1
#
wenzelm@7046
     2
# $Id$
wenzelm@7046
     3
#
wenzelm@7046
     4
wenzelm@7046
     5
## targets
wenzelm@7046
     6
wenzelm@7046
     7
default: dvi
wenzelm@7046
     8
wenzelm@7046
     9
wenzelm@7046
    10
## dependencies
wenzelm@7046
    11
wenzelm@7046
    12
include ../Makefile.in
wenzelm@7046
    13
wenzelm@7046
    14
NAME = isar-ref
wenzelm@7046
    15
wenzelm@7046
    16
FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \
wenzelm@12621
    17
	generic.tex logics.tex refcard.tex conversion.tex \
wenzelm@12617
    18
	../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
wenzelm@12617
    19
	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
wenzelm@7046
    20
wenzelm@7046
    21
dvi: $(NAME).dvi
wenzelm@7046
    22
wenzelm@7046
    23
$(NAME).dvi: $(FILES) isabelle_isar.eps
wenzelm@7046
    24
	$(LATEX) $(NAME)
wenzelm@7046
    25
	$(RAIL) $(NAME)
wenzelm@7046
    26
	$(BIBTEX) $(NAME)
wenzelm@7046
    27
	$(LATEX) $(NAME)
wenzelm@7046
    28
	$(LATEX) $(NAME)
wenzelm@7046
    29
	$(SEDINDEX) $(NAME)
wenzelm@7046
    30
	$(LATEX) $(NAME)
wenzelm@7046
    31
wenzelm@7046
    32
pdf: $(NAME).pdf
wenzelm@7046
    33
wenzelm@7046
    34
$(NAME).pdf: $(FILES) isabelle_isar.pdf
wenzelm@7046
    35
	$(PDFLATEX) $(NAME)
wenzelm@7046
    36
	$(RAIL) $(NAME)
wenzelm@7046
    37
	$(BIBTEX) $(NAME)
wenzelm@7046
    38
	$(PDFLATEX) $(NAME)
wenzelm@7046
    39
	$(PDFLATEX) $(NAME)
wenzelm@7046
    40
	$(SEDINDEX) $(NAME)
wenzelm@7046
    41
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@7046
    42
	$(PDFLATEX) $(NAME)