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