isabelle: doc-src/AxClass/Makefile@128459bd72d2 (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
26913 67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 17136 diff changeset	16	FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 17136 diff changeset	17	../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 17136 diff changeset	18	Group/document/Group.tex Nat/document/NatClass.tex \
17136 281667d3a7b2 fixed deps; wenzelm parents: 8906 diff changeset	19	Group/document/Product.tex Group/document/Semigroups.tex
3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	20
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	21	dvi: $(NAME).dvi
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	22
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	23	$(NAME).dvi: $(FILES) isabelle_isar.eps
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	24	$(LATEX) $(NAME)
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	25	$(BIBTEX) $(NAME)
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	26	$(LATEX) $(NAME)
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	27	$(LATEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	28
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	29	pdf: $(NAME).pdf
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	30
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	31	$(NAME).pdf: $(FILES) isabelle_isar.pdf
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	32	$(PDFLATEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	33	$(FIXBOOKMARKS) $(NAME).out
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	34	$(BIBTEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	35	$(PDFLATEX) $(NAME)
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	36	$(PDFLATEX) $(NAME)

author	haftmann
	Mon, 01 Dec 2008 19:41:16 +0100
changeset 28941	128459bd72d2
parent 26913	67040326ab7a
permissions	-rw-r--r--