doc-src/Makefile
author lcp
Tue, 24 Jan 1995 03:00:32 +0100
changeset 872 9b7236d774bd
parent 602 9cb1fa628dbb
child 1053 a19fbe807f91
permissions -rw-r--r--
updates for Isabelle94-2
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@602
    12
	latex209 ind-defs
lcp@602
    13
	bibtex ind-defs
lcp@602
    14
	latex209 ind-defs
lcp@602
    15
	latex209 ind-defs
lcp@602
    16
	gzip -f ind-defs.dvi