isabelle: doc-src/TutorialI/Makefile@c08a5ab37fcd (annotated)

8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	1	#
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	2	# $Id$
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	3	#
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	4
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	5	## targets
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	6
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	7	default: dvi
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	8
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	9
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	10	## dependencies
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	11
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	12	include ../Makefile.in
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	13
11430 c51de60e26cf SEDINDEX = ./isa-index; wenzelm parents: 11428 diff changeset	14	SEDINDEX = ./isa-index
11400 ddcfdc38090d isa-index replaces ../sedindex: knows about \\isa paulson parents: 9695 diff changeset	15
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	16	NAME = tutorial
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	17	FILES = tutorial.tex basics.tex fp.tex appendix.tex \
11428 332347b9b942 tidying the index paulson parents: 11400 diff changeset	18	Advanced/advanced.tex \
332347b9b942 tidying the index paulson parents: 11400 diff changeset	19	CTL/ctl.tex \
23845 0b695c401d4d Replaced "hand-made" files by generated files in Inductive/document. berghofe parents: 12677 diff changeset	20	Inductive/inductive.tex Inductive/document/AB.tex \
0b695c401d4d Replaced "hand-made" files by generated files in Inductive/document. berghofe parents: 12677 diff changeset	21	Inductive/document/Advanced.tex Inductive/document/Even.tex \
0b695c401d4d Replaced "hand-made" files by generated files in Inductive/document. berghofe parents: 12677 diff changeset	22	Inductive/document/Mutual.tex Inductive/document/Star.tex \
23927 cbe0e4aeb53c Replaced "hand-made" LaTeX code in Protocol/protocol.tex by berghofe parents: 23845 diff changeset	23	Protocol/protocol.tex Protocol/document/Event.tex \
cbe0e4aeb53c Replaced "hand-made" LaTeX code in Protocol/protocol.tex by berghofe parents: 23845 diff changeset	24	Protocol/document/Message.tex Protocol/document/Public.tex \
cbe0e4aeb53c Replaced "hand-made" LaTeX code in Protocol/protocol.tex by berghofe parents: 23845 diff changeset	25	Protocol/document/NS_Public.tex \
11428 332347b9b942 tidying the index paulson parents: 11400 diff changeset	26	Rules/rules.tex Sets/sets.tex \
12577 56eb790f3a03 removed Types/records.tex; wenzelm parents: 11647 diff changeset	27	Types/numerics.tex Types/types.tex \
11647 0538cb0f7999 initial setup for chapter on document preparation; wenzelm parents: 11430 diff changeset	28	Documents/documents.tex \
9695 ec7d7f877712 proper setup of iman.sty/extra.sty/ttbox.sty; wenzelm parents: 8847 diff changeset	29	../iman.sty ../ttbox.sty ../extra.sty \
8847 d6c92979fa51 use proper version of pdfsetup.sty; wenzelm parents: 8828 diff changeset	30	isabelle.sty isabellesym.sty ../pdfsetup.sty
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	32	dvi: $(NAME).dvi
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	33
12677 73c070d5c031 dependencies for "typedef" image; wenzelm parents: 12676 diff changeset	34	$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	35	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	36	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	37	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	38	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	39	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	40	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	41
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	42	pdf: $(NAME).pdf
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	43
12677 73c070d5c031 dependencies for "typedef" image; wenzelm parents: 12676 diff changeset	44	$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	45	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	46	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	47	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	48	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	49	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	50	$(FIXBOOKMARKS) $(NAME).out
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	51	$(PDFLATEX) $(NAME)
12672 f85386e8acdf tuned; wenzelm parents: 12654 diff changeset	52	$(FIXBOOKMARKS) $(NAME).out

author	wenzelm
	Tue, 25 Mar 2008 21:47:19 +0100
changeset 26399	c08a5ab37fcd
parent 23927	cbe0e4aeb53c
child 26913	67040326ab7a
permissions	-rw-r--r--