doc-src/System/Makefile
changeset 3170 0b3ff84bab29
child 3172 629d63c74ddc
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/System/Makefile	Mon May 12 18:26:53 1997 +0200
     1.3 @@ -0,0 +1,31 @@
     1.4 +#  $Id$
     1.5 +#########################################################################
     1.6 +#									#
     1.7 +#	Makefile for the report "The Isabelle System Manual"		#
     1.8 +#									#
     1.9 +#########################################################################
    1.10 +
    1.11 +
    1.12 +FILES =  system.tex \
    1.13 +	 ../iman.sty ../extra.sty
    1.14 +
    1.15 +system.dvi.gz:   $(FILES) 
    1.16 +	-rm system.dvi*
    1.17 +	latex system
    1.18 +	rail system
    1.19 +	bibtex system
    1.20 +	latex system
    1.21 +	latex system
    1.22 +	../sedindex system
    1.23 +	latex system
    1.24 +	gzip -f system.dvi
    1.25 +
    1.26 +dist:   $(FILES) 
    1.27 +	-rm system.dvi*
    1.28 +	latex system
    1.29 +	latex system
    1.30 +	../sedindex system
    1.31 +	latex system
    1.32 +
    1.33 +clean:
    1.34 +	@rm *.aux *.log *.toc *.idx