doc-src/IsarOverview/Makefile
author wenzelm
Sat Nov 15 21:31:13 2008 +0100 (2008-11-15)
changeset 28797 9dcd32ee5dbe
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
rewrite_proof: simplified simprocs (no name required);
     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