# HG changeset patch
# User lcp
# Date 797851253 -7200
# Node ID a19fbe807f91817a59483e3da0be011440c24900
# Parent  e044350bfa524865a808e61c955148da1565f804
Removes (obsolete) target if already present.

diff -r e044350bfa52 -r a19fbe807f91 doc-src/Intro/Makefile
--- a/doc-src/Intro/Makefile	Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Intro/Makefile	Fri Apr 14 11:20:53 1995 +0200
@@ -10,6 +10,7 @@
 	 ../iman.sty ../extra.sty
 
 intro.dvi.gz:   $(FILES) 
+	-rm intro.dvi.gz
 	latex209 intro
 	bibtex intro
 	latex209 intro
diff -r e044350bfa52 -r a19fbe807f91 doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Logics/Makefile	Fri Apr 14 11:20:53 1995 +0200
@@ -10,6 +10,7 @@
 	 ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES) 
+	-rm logics.dvi.gz
 	latex209 logics
 	bibtex logics
 	latex209 logics
diff -r e044350bfa52 -r a19fbe807f91 doc-src/Makefile
--- a/doc-src/Makefile	Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Makefile	Fri Apr 14 11:20:53 1995 +0200
@@ -9,6 +9,7 @@
 FILES =  ind-defs.tex iman.sty extra.sty
 
 ind-defs.dvi.gz:   $(FILES) 
+	-rm ind-defs.dvi.gz
 	latex209 ind-defs
 	bibtex ind-defs
 	latex209 ind-defs
diff -r e044350bfa52 -r a19fbe807f91 doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Ref/Makefile	Fri Apr 14 11:20:53 1995 +0200
@@ -12,6 +12,7 @@
 	 ../iman.sty ../extra.sty
 
 ref.dvi.gz:   $(FILES) 
+	-rm ref.dvi.gz
 	latex209 ref
 	bibtex ref
 	latex209 ref