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

13740 e3cb04713384 for dvi target kleing parents: 13739 diff changeset	1	all: gen pdf
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	2
14498 c770a2f0ea78 Added PSV 2003/2004 streckem parents: 13841 diff changeset	3	gen: g0304 g2000 g2001 g2002
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	4
13740 e3cb04713384 for dvi target kleing parents: 13739 diff changeset	5	dvi: gen
e3cb04713384 for dvi target kleing parents: 13739 diff changeset	6	latex exercises
e3cb04713384 for dvi target kleing parents: 13739 diff changeset	7	bibtex exercises
e3cb04713384 for dvi target kleing parents: 13739 diff changeset	8	latex exercises
e3cb04713384 for dvi target kleing parents: 13739 diff changeset	9	latex exercises
e3cb04713384 for dvi target kleing parents: 13739 diff changeset	10
13841 ed4e97874454 keep a copy of generated files in repository kleing parents: 13740 diff changeset	11	pdf: gen
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	12	pdflatex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	13	bibtex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	14	pdflatex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	15	pdflatex exercises
f5d0a66c8124 exercise collection kleing parents: diff changeset	16
14498 c770a2f0ea78 Added PSV 2003/2004 streckem parents: 13841 diff changeset	17	g0304:
c770a2f0ea78 Added PSV 2003/2004 streckem parents: 13841 diff changeset	18	cd 0304; make
c770a2f0ea78 Added PSV 2003/2004 streckem parents: 13841 diff changeset	19
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	20	g2000:
13841 ed4e97874454 keep a copy of generated files in repository kleing parents: 13740 diff changeset	21	cd 2000; make
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	22
f5d0a66c8124 exercise collection kleing parents: diff changeset	23	g2001:
13841 ed4e97874454 keep a copy of generated files in repository kleing parents: 13740 diff changeset	24	cd 2001; make
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	25
f5d0a66c8124 exercise collection kleing parents: diff changeset	26	g2002:
13841 ed4e97874454 keep a copy of generated files in repository kleing parents: 13740 diff changeset	27	cd 2002; make
13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	28
f5d0a66c8124 exercise collection kleing parents: diff changeset	29	clean:
f5d0a66c8124 exercise collection kleing parents: diff changeset	30	rm -f .log .aux .bbl .blg .toc .out *~
f5d0a66c8124 exercise collection kleing parents: diff changeset	31
f5d0a66c8124 exercise collection kleing parents: diff changeset	32	realclean: clean
13841 ed4e97874454 keep a copy of generated files in repository kleing parents: 13740 diff changeset	33	rm -rf exercises.pdf execrcises.dvi

author	streckem
	Tue, 30 Mar 2004 19:28:27 +0200
changeset 14498	c770a2f0ea78
parent 13841	ed4e97874454
child 14521	e25376d1d064
permissions	-rw-r--r--