isabelle: doc-src/Exercises/Makefile@f5d0a66c8124 (annotated)

13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	1	all: gen tex
f5d0a66c8124 exercise collection kleing parents: diff changeset	2
f5d0a66c8124 exercise collection kleing parents: diff changeset	3	gen: g2000 g2001 g2002
f5d0a66c8124 exercise collection kleing parents: diff changeset	4
f5d0a66c8124 exercise collection kleing parents: diff changeset	5	tex:
f5d0a66c8124 exercise collection kleing parents: diff changeset	6	pdflatex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	7	bibtex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	8	pdflatex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	9	pdflatex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	10
f5d0a66c8124 exercise collection kleing parents: diff changeset	11	g2000:
f5d0a66c8124 exercise collection kleing parents: diff changeset	12	cd 2000; isatool make
f5d0a66c8124 exercise collection kleing parents: diff changeset	13
f5d0a66c8124 exercise collection kleing parents: diff changeset	14	g2001:
f5d0a66c8124 exercise collection kleing parents: diff changeset	15	cd 2001; isatool make
f5d0a66c8124 exercise collection kleing parents: diff changeset	16
f5d0a66c8124 exercise collection kleing parents: diff changeset	17	g2002:
f5d0a66c8124 exercise collection kleing parents: diff changeset	18	cd 2002; isatool make
f5d0a66c8124 exercise collection kleing parents: diff changeset	19
f5d0a66c8124 exercise collection kleing parents: diff changeset	20	clean:
f5d0a66c8124 exercise collection kleing parents: diff changeset	21	rm -f .log .aux .bbl .blg .toc .out *~
f5d0a66c8124 exercise collection kleing parents: diff changeset	22
f5d0a66c8124 exercise collection kleing parents: diff changeset	23	realclean: clean
f5d0a66c8124 exercise collection kleing parents: diff changeset	24	rm -rf exercises.pdf //generated

author	kleing
	Thu, 05 Dec 2002 17:12:07 +0100
changeset 13739	f5d0a66c8124
child 13740	e3cb04713384
permissions	-rw-r--r--