doc-src/Makefile
changeset 602 9cb1fa628dbb
child 1053 a19fbe807f91
equal deleted inserted replaced
601:208834a9ba70 602:9cb1fa628dbb
       
     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 	latex209 ind-defs
       
    13 	bibtex ind-defs
       
    14 	latex209 ind-defs
       
    15 	latex209 ind-defs
       
    16 	gzip -f ind-defs.dvi