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

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

author	nipkow
	Fri, 15 Apr 2005 17:03:35 +0200
changeset 15738	1c1d40ff875a
parent 14521	e25376d1d064
permissions	-rw-r--r--