doc-src/Makefile
changeset 3163 4af68e6f4eae
parent 3162 78fa85d44e68
child 3164 ddb0b1fdfdea
equal deleted inserted replaced
3162:78fa85d44e68 3163:4af68e6f4eae
     1 #  $Id$
       
     2 #########################################################################
       
     3 #									#
       
     4 #	Makefile for the report "A Fixedpoint Approach ..."		#
       
     5 #									#
       
     6 #########################################################################
       
     7 
       
     8 
       
     9 FILES =  ind-defs.tex iman.sty extra.sty
       
    10 
       
    11 ind-defs.dvi.gz:   $(FILES) 
       
    12 	-rm ind-defs.dvi.gz
       
    13 	latex209 ind-defs
       
    14 	bibtex ind-defs
       
    15 	latex209 ind-defs
       
    16 	latex209 ind-defs
       
    17 	gzip -f ind-defs.dvi