doc-src/Makefile
author oheimb
Sat Feb 15 16:10:00 1997 +0100 (1997-02-15)
changeset 2628 1fe7c9f599c2
parent 1053 a19fbe807f91
permissions -rw-r--r--
description of del(eq)congs, safe and unsafe solver
     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