doc-src/TutorialI/Makefile

Rewrote code to use swap_simps rather than calc_atm (which tends to
produce ridiculously large nested if-expressions).

#
# $Id$
#

## targets

default: dvi


## dependencies

include ../Makefile.in

SEDINDEX = ./isa-index

NAME = tutorial
FILES = tutorial.tex basics.tex fp.tex appendix.tex			\
	Advanced/advanced.tex CTL/ctl.tex Inductive/inductive.tex	\
	Inductive/document/AB.tex Inductive/document/Advanced.tex	\
	Inductive/document/Even.tex Inductive/document/Mutual.tex	\
	Inductive/document/Star.tex Protocol/protocol.tex		\
	Protocol/document/Event.tex Protocol/document/Message.tex	\
	Protocol/document/Public.tex Protocol/document/NS_Public.tex	\
	Rules/rules.tex Sets/sets.tex Types/numerics.tex		\
	Types/types.tex Documents/documents.tex ../iman.sty		\
	../ttbox.sty ../extra.sty ../isabelle.sty ../isabellesym.sty	\
	../pdfsetup.sty

dvi: $(NAME).dvi

$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps
	$(LATEX) $(NAME)
	$(BIBTEX) $(NAME)
	$(LATEX) $(NAME)
	$(LATEX) $(NAME)
	$(SEDINDEX) $(NAME)
	$(LATEX) $(NAME)

pdf: $(NAME).pdf

$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf
	$(PDFLATEX) $(NAME)
	$(BIBTEX) $(NAME)
	$(PDFLATEX) $(NAME)
	$(PDFLATEX) $(NAME)
	$(SEDINDEX) $(NAME)
	$(FIXBOOKMARKS) $(NAME).out
	$(PDFLATEX) $(NAME)
	$(FIXBOOKMARKS) $(NAME).out