isabelle: doc-src/TutorialI/Makefile@42ce93ada11e (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
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	14	NAME = tutorial
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	15	FILES = tutorial.tex basics.tex fp.tex appendix.tex \
8754 42ce93ada11e * empty log message * nipkow parents: 8743 diff changeset	16	../iman.sty ttbox.sty extra.sty \
42ce93ada11e * empty log message * nipkow parents: 8743 diff changeset	17	isabelle.sty isabellesym.sty pdfsetup.sty
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	18
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	19	dvi: $(NAME).dvi
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	20
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	21	$(NAME).dvi: $(FILES) isabelle_hol.eps
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	22	touch $(NAME).ind
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	23	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	24	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	25	$(LATEX) $(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	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	28	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	29
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	30	pdf: $(NAME).pdf
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	32	$(NAME).pdf: $(FILES) isabelle_hol.pdf
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	33	touch $(NAME).ind
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	nipkow
	Thu, 20 Apr 2000 09:54:56 +0200
changeset 8754	42ce93ada11e
parent 8743	3253c6046d57
child 8828	5be2d1745c61
permissions	-rw-r--r--