doc-src/System/Makefile
author wenzelm
Mon May 12 18:26:53 1997 +0200 (1997-05-12)
changeset 3170 0b3ff84bab29
child 3172 629d63c74ddc
permissions -rw-r--r--
The Isabelle System Manual;
     1 #  $Id$
     2 #########################################################################
     3 #									#
     4 #	Makefile for the report "The Isabelle System Manual"		#
     5 #									#
     6 #########################################################################
     7 
     8 
     9 FILES =  system.tex \
    10 	 ../iman.sty ../extra.sty
    11 
    12 system.dvi.gz:   $(FILES) 
    13 	-rm system.dvi*
    14 	latex system
    15 	rail system
    16 	bibtex system
    17 	latex system
    18 	latex system
    19 	../sedindex system
    20 	latex system
    21 	gzip -f system.dvi
    22 
    23 dist:   $(FILES) 
    24 	-rm system.dvi*
    25 	latex system
    26 	latex system
    27 	../sedindex system
    28 	latex system
    29 
    30 clean:
    31 	@rm *.aux *.log *.toc *.idx