isabelle: doc-src/AxClass/Makefile@bb2f1e859177 (annotated)

6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	1	#
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	2	# $Id$
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	3	#
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	4
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	5	## targets
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	6
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	7	default: dvi
3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	8
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	9
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	10	## dependencies
3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	11
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	12	include ../Makefile.in
3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	13
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	14	NAME = axclass
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	15
8903 78d6e47469e4 new Isar version; wenzelm parents: 8890 diff changeset	16	FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
78d6e47469e4 new Isar version; wenzelm parents: 8890 diff changeset	17	../pdfsetup.sty generated/Group.tex generated/NatClass.tex \
8906 fc7841f31388 tuned; wenzelm parents: 8903 diff changeset	18	generated/Product.tex generated/Semigroups.tex
3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	19
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	20	dvi: $(NAME).dvi
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	21
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	22	$(NAME).dvi: $(FILES) isabelle_isar.eps
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	23	$(LATEX) $(NAME)
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	24	$(BIBTEX) $(NAME)
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	25	$(LATEX) $(NAME)
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	26	$(LATEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	27
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	28	pdf: $(NAME).pdf
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	29
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	30	$(NAME).pdf: $(FILES) isabelle_isar.pdf
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	31	$(PDFLATEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	32	$(FIXBOOKMARKS) $(NAME).out
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	33	$(BIBTEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	34	$(PDFLATEX) $(NAME)
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	35	$(PDFLATEX) $(NAME)

author	wenzelm
	Wed, 18 Oct 2000 23:40:17 +0200
changeset 10261	bb2f1e859177
parent 8906	fc7841f31388
child 17136	281667d3a7b2
permissions	-rw-r--r--