doc-src/Makefile
author paulson
Fri, 17 Jan 1997 12:49:31 +0100
changeset 2516 4d68fbe6378b
parent 1053 a19fbe807f91
permissions -rw-r--r--
Now with Andy Gordon's treatment of freshness to replace newN/K
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
602
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     1
#  $Id$
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     2
#########################################################################
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     3
#									#
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     4
#	Makefile for the report "A Fixedpoint Approach ..."		#
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     5
#									#
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     6
#########################################################################
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     7
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     8
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
     9
FILES =  ind-defs.tex iman.sty extra.sty
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    10
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    11
ind-defs.dvi.gz:   $(FILES) 
1053
a19fbe807f91 Removes (obsolete) target if already present.
lcp
parents: 602
diff changeset
    12
	-rm ind-defs.dvi.gz
602
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    13
	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    14
	bibtex ind-defs
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    15
	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    16
	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs
lcp
parents:
diff changeset
    17
	gzip -f ind-defs.dvi