1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/IsarOverview/Makefile	Mon May 12 12:12:19 2003 +0200
     1.3 @@ -0,0 +1,22 @@
     1.4 +#
     1.5 +# $Id$
     1.6 +#
     1.7 +
     1.8 +## targets
     1.9 +
    1.10 +default: dvi
    1.11 +
    1.12 +## dependencies
    1.13 +
    1.14 +dvi:
    1.15 +	cd Isar/document; make dvi
    1.16 +
    1.17 +pdf:
    1.18 +	cd Isar/document; make pdf
    1.19 +
    1.20 +clean:
    1.21 +	cd Isar/document; make clean
    1.22 +
    1.23 +mrproper:
    1.24 +	rm -f *.pdf *.dvi
    1.25 +	cd Isar/document; make mrproper