diff -r 29f09a778037 -r 5cd3396802f5 doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Thu Sep 24 15:23:47 1998 +0200
+++ b/doc-src/Ref/Makefile	Thu Sep 24 15:36:16 1998 +0200
@@ -12,8 +12,8 @@
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 ref.dvi.gz:   $(FILES) 
-	/bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps .
-	rm -f ref.dvi*
+	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+	-rm ref.dvi*
 	latex ref
 	rail ref
 	bibtex ref
@@ -24,7 +24,7 @@
 	gzip -f ref.dvi
 
 dist:   $(FILES) 
-	/bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps .
+	test -f isabelle.eps || ln -s ../gfx/isabelle.eps .
 	rm -f ref.dvi*
 	latex ref
 	latex ref