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
lcp@602
     1
#  $Id$
lcp@602
     2
#########################################################################
lcp@602
     3
#									#
lcp@602
     4
#	Makefile for the report "A Fixedpoint Approach ..."		#
lcp@602
     5
#									#
lcp@602
     6
#########################################################################
lcp@602
     7
lcp@602
     8
lcp@602
     9
FILES =  ind-defs.tex iman.sty extra.sty
lcp@602
    10
lcp@602
    11
ind-defs.dvi.gz:   $(FILES) 
lcp@1053
    12
	-rm ind-defs.dvi.gz
lcp@602
    13
	latex209 ind-defs
lcp@602
    14
	bibtex ind-defs
lcp@602
    15
	latex209 ind-defs
lcp@602
    16
	latex209 ind-defs
lcp@602
    17
	gzip -f ind-defs.dvi