isabelle: doc-src/TutorialI/Makefile@364088045fa9 (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
11400 ddcfdc38090d isa-index replaces ../sedindex: knows about \\isa paulson parents: 9695 diff changeset	14	SEDINDEX = isa-index
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 \
9695 ec7d7f877712 proper setup of iman.sty/extra.sty/ttbox.sty; wenzelm parents: 8847 diff changeset	18	../iman.sty ../ttbox.sty ../extra.sty \
8847 d6c92979fa51 use proper version of pdfsetup.sty; wenzelm parents: 8828 diff changeset	19	isabelle.sty isabellesym.sty ../pdfsetup.sty
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	20
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	21	dvi: $(NAME).dvi
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	22
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	23	$(NAME).dvi: $(FILES) isabelle_hol.eps
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	24	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	25	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	26	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	27	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	28	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	29	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	30
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31	pdf: $(NAME).pdf
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	32
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	33	$(NAME).pdf: $(FILES) isabelle_hol.pdf
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	34	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	35	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	36	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	37	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	38	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	39	$(FIXBOOKMARKS) $(NAME).out
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	40	$(PDFLATEX) $(NAME)

author	paulson
	Fri, 13 Jul 2001 18:19:29 +0200
changeset 11421	364088045fa9
parent 11400	ddcfdc38090d
child 11428	332347b9b942
permissions	-rw-r--r--