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