--- a/doc-src/Tutorial/Makefile Thu Sep 24 15:23:47 1998 +0200
+++ b/doc-src/Tutorial/Makefile Thu Sep 24 15:36:16 1998 +0200
@@ -11,7 +11,7 @@
tutorial.ps.gz: $(FILES)
isatool make
- -ln -sf ../gfx/isabelle_hol.eps .
+ test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
-rm tutorial.dvi*
latex tutorial
bibtex tutorial
@@ -23,7 +23,7 @@
gzip tutorial.ps
dist: $(FILES)
- -ln -sf ../gfx/isabelle_hol.eps .
+ test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
-rm tutorial.dvi*
latex tutorial
latex tutorial