Removes (obsolete) target if already present.

--- 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

--- 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

--- 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

--- 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