isabelle: doc-src/AxClass/Makefile@9a44d8d98731 (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
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	16	FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../pdfsetup.sty
3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	17
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	18	dvi: $(NAME).dvi
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	19
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	20	$(NAME).dvi: $(FILES) isabelle_isar.eps
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	21	$(LATEX) $(NAME)
9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	22	$(BIBTEX) $(NAME)
6599 dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	23	$(LATEX) $(NAME)
dc5bf3f40ad3 improved Makefile; wenzelm parents: 3167 diff changeset	24	$(LATEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	25
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	26	pdf: $(NAME).pdf
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	27
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	28	$(NAME).pdf: $(FILES) isabelle_isar.pdf
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	29	$(PDFLATEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	30	$(FIXBOOKMARKS) $(NAME).out
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	31	$(BIBTEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6599 diff changeset	32	$(PDFLATEX) $(NAME)
8890 9a44d8d98731 snapshot of new Isar'ized version; wenzelm parents: 6629 diff changeset	33	$(PDFLATEX) $(NAME)

author	wenzelm
	Sun, 21 May 2000 01:12:00 +0200
changeset 8890	9a44d8d98731
parent 6629	6edc66a9d80b
child 8903	78d6e47469e4
permissions	-rw-r--r--