isabelle: doc-src/AxClass/Makefile@11d447d5d68c (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 \
17136 281667d3a7b2 fixed deps; wenzelm parents: 8906 diff changeset	17	../pdfsetup.sty Group/document/Group.tex Nat/document/NatClass.tex \
281667d3a7b2 fixed deps; wenzelm parents: 8906 diff changeset	18	Group/document/Product.tex Group/document/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
	Tue, 13 Jun 2006 23:41:39 +0200
changeset 19876	11d447d5d68c
parent 17136	281667d3a7b2
child 26913	67040326ab7a
permissions	-rw-r--r--