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
Fri, 20 Jul 2001 17:49:10 +0200
changeset 11430 c51de60e26cf
parent 11428 332347b9b942
child 11647 0538cb0f7999
permissions -rw-r--r--
SEDINDEX = ./isa-index; 
     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/records.tex Types/types.tex \

    25 	../iman.sty ../ttbox.sty ../extra.sty \

    26 	isabelle.sty isabellesym.sty ../pdfsetup.sty

    27 

    28 dvi: $(NAME).dvi

    29 

    30 $(NAME).dvi: $(FILES) isabelle_hol.eps

    31 	$(LATEX) $(NAME)

    32 	$(BIBTEX) $(NAME)

    33 	$(LATEX) $(NAME)

    34 	$(LATEX) $(NAME)

    35 	$(SEDINDEX) $(NAME)

    36 	$(LATEX) $(NAME)

    37 

    38 pdf: $(NAME).pdf

    39 

    40 $(NAME).pdf: $(FILES) isabelle_hol.pdf

    41 	$(PDFLATEX) $(NAME)

    42 	$(BIBTEX) $(NAME)

    43 	$(PDFLATEX) $(NAME)

    44 	$(PDFLATEX) $(NAME)

    45 	$(SEDINDEX) $(NAME)

    46 	$(FIXBOOKMARKS) $(NAME).out

    47 	$(PDFLATEX) $(NAME)
wneuper/isa