Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/TutorialI/Makefile
author wenzelm
Tue, 08 Jan 2002 20:52:46 +0100
changeset 12677 73c070d5c031
parent 12676 99e7b2045d8f
child 23845 0b695c401d4d
permissions -rw-r--r--
dependencies for "typedef" image; 
     1 #

     2 # $Id$

     3 #

     4 

     5 ## targets

     6 

     7 default: dvi

     8 

     9 

    10 ## dependencies

    11 

    12 include ../Makefile.in

    13 

    14 SEDINDEX = ./isa-index

    15 

    16 NAME = tutorial

    17 FILES = tutorial.tex basics.tex fp.tex appendix.tex \

    18 	Advanced/advanced.tex \

    19 	CTL/ctl.tex \

    20 	Inductive/inductive.tex Inductive/even-example.tex \

    21 	Inductive/advanced-examples.tex \

    22 	Protocol/protocol.tex \

    23 	Rules/rules.tex Sets/sets.tex \

    24 	Types/numerics.tex Types/types.tex \

    25 	Documents/documents.tex \

    26 	../iman.sty ../ttbox.sty ../extra.sty \

    27 	isabelle.sty isabellesym.sty ../pdfsetup.sty

    28 

    29 dvi: $(NAME).dvi

    30 

    31 $(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps

    32 	$(LATEX) $(NAME)

    33 	$(BIBTEX) $(NAME)

    34 	$(LATEX) $(NAME)

    35 	$(LATEX) $(NAME)

    36 	$(SEDINDEX) $(NAME)

    37 	$(LATEX) $(NAME)

    38 

    39 pdf: $(NAME).pdf

    40 

    41 $(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf

    42 	$(PDFLATEX) $(NAME)

    43 	$(BIBTEX) $(NAME)

    44 	$(PDFLATEX) $(NAME)

    45 	$(PDFLATEX) $(NAME)

    46 	$(SEDINDEX) $(NAME)

    47 	$(FIXBOOKMARKS) $(NAME).out

    48 	$(PDFLATEX) $(NAME)

    49 	$(FIXBOOKMARKS) $(NAME).out
wneuper/isa