doc-src/IsarOverview/Makefile
author nipkow
Wed Aug 04 11:25:08 2004 +0200 (2004-08-04)
changeset 15106 e8cef6993701
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
aded comment
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 ## dependencies
    10 
    11 dvi:
    12 	cd Isar/document; make dvi
    13 
    14 pdf:
    15 	cd Isar/document; make pdf
    16 
    17 clean:
    18 	cd Isar/document; make clean
    19 
    20 mrproper:
    21 	rm -f *.pdf *.dvi
    22 	cd Isar/document; make mrproper