# HG changeset patch
# User oheimb
# Date 906627607 -7200
# Node ID f457121ff50c94cf93e55d7bd0ea925ac53ca9bd
# Parent  f0c303f5373048e5fd9b5ef8a5f23aafc44bd7dd
fixed calls of ln, rm

diff -r f0c303f53730 -r f457121ff50c doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Wed Sep 23 12:44:30 1998 +0200
+++ b/doc-src/Ref/Makefile	Thu Sep 24 11:00:07 1998 +0200
@@ -12,8 +12,8 @@
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 ref.dvi.gz:   $(FILES) 
-	@ln -sf ../gfx/isabelle.eps .
-	-rm ref.dvi*
+	/bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps .
+	rm -f ref.dvi*
 	latex ref
 	rail ref
 	bibtex ref
@@ -24,8 +24,8 @@
 	gzip -f ref.dvi
 
 dist:   $(FILES) 
-	@ln -sf ../gfx/isabelle.eps .
-	-rm ref.dvi*
+	/bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps .
+	rm -f ref.dvi*
 	latex ref
 	latex ref
 	../sedindex ref