doc-src/TutorialI/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 31676 4ee7a8af1903
child 42637 381fdcab0f36
permissions -rw-r--r--
eliminated copies of isabelle style files;
nipkow@8743
     1
#
nipkow@8743
     2
# $Id$
nipkow@8743
     3
#
nipkow@8743
     4
nipkow@8743
     5
## targets
nipkow@8743
     6
nipkow@8743
     7
default: dvi
nipkow@8743
     8
nipkow@8743
     9
nipkow@8743
    10
## dependencies
nipkow@8743
    11
nipkow@8743
    12
include ../Makefile.in
nipkow@8743
    13
wenzelm@11430
    14
SEDINDEX = ./isa-index
paulson@11400
    15
nipkow@8743
    16
NAME = tutorial
wenzelm@26913
    17
FILES = tutorial.tex basics.tex fp.tex appendix.tex			\
wenzelm@26913
    18
	Advanced/advanced.tex CTL/ctl.tex Inductive/inductive.tex	\
wenzelm@26913
    19
	Inductive/document/AB.tex Inductive/document/Advanced.tex	\
wenzelm@26913
    20
	Inductive/document/Even.tex Inductive/document/Mutual.tex	\
wenzelm@26913
    21
	Inductive/document/Star.tex Protocol/protocol.tex		\
wenzelm@26913
    22
	Protocol/document/Event.tex Protocol/document/Message.tex	\
wenzelm@26913
    23
	Protocol/document/Public.tex Protocol/document/NS_Public.tex	\
wenzelm@26913
    24
	Rules/rules.tex Sets/sets.tex Types/numerics.tex		\
haftmann@31676
    25
	Types/types.tex Types/document/Overloading.tex \
haftmann@31676
    26
	Types/document/Axioms.tex Documents/documents.tex Misc/document/appendix.tex ../iman.sty	\
wenzelm@42511
    27
	../ttbox.sty ../extra.sty ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty	\
wenzelm@26913
    28
	../pdfsetup.sty
nipkow@8743
    29
nipkow@8743
    30
dvi: $(NAME).dvi
nipkow@8743
    31
wenzelm@12677
    32
$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps
nipkow@8743
    33
	$(LATEX) $(NAME)
nipkow@8743
    34
	$(BIBTEX) $(NAME)
nipkow@8743
    35
	$(LATEX) $(NAME)
nipkow@8743
    36
	$(LATEX) $(NAME)
nipkow@8743
    37
	$(SEDINDEX) $(NAME)
nipkow@8743
    38
	$(LATEX) $(NAME)
nipkow@8743
    39
nipkow@8743
    40
pdf: $(NAME).pdf
nipkow@8743
    41
wenzelm@12677
    42
$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf
nipkow@8743
    43
	$(PDFLATEX) $(NAME)
nipkow@8743
    44
	$(BIBTEX) $(NAME)
nipkow@8743
    45
	$(PDFLATEX) $(NAME)
nipkow@8743
    46
	$(PDFLATEX) $(NAME)
nipkow@8743
    47
	$(SEDINDEX) $(NAME)
nipkow@8743
    48
	$(FIXBOOKMARKS) $(NAME).out
nipkow@8743
    49
	$(PDFLATEX) $(NAME)
wenzelm@12672
    50
	$(FIXBOOKMARKS) $(NAME).out