1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Inductive/Makefile	Mon May 12 17:13:12 1997 +0200
     1.3 @@ -0,0 +1,17 @@
     1.4 +#  $Id$
     1.5 +#########################################################################
     1.6 +#									#
     1.7 +#	Makefile for the report "A Fixedpoint Approach ..."		#
     1.8 +#									#
     1.9 +#########################################################################
    1.10 +
    1.11 +
    1.12 +FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
    1.13 +
    1.14 +ind-defs.dvi.gz:   $(FILES) 
    1.15 +	-rm ind-defs.dvi.gz
    1.16 +	latex209 ind-defs
    1.17 +	bibtex ind-defs
    1.18 +	latex209 ind-defs
    1.19 +	latex209 ind-defs
    1.20 +	gzip -f ind-defs.dvi