--- a/doc-src/Intro/Makefile Thu Sep 24 15:23:47 1998 +0200
+++ b/doc-src/Intro/Makefile Thu Sep 24 15:36:16 1998 +0200
@@ -10,7 +10,7 @@
../proof.sty ../iman.sty ../extra.sty
intro.dvi.gz: $(FILES)
- @ln -sf ../gfx/isabelle.eps .
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-rm intro.dvi*
latex intro
bibtex intro
@@ -21,7 +21,7 @@
gzip -f intro.dvi
dist: $(FILES)
- @ln -sf ../gfx/isabelle.eps .
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-rm intro.dvi*
latex intro
latex intro
--- a/doc-src/Logics/Makefile Thu Sep 24 15:23:47 1998 +0200
+++ b/doc-src/Logics/Makefile Thu Sep 24 15:36:16 1998 +0200
@@ -10,7 +10,7 @@
../rail.sty ../proof.sty ../iman.sty ../extra.sty
logics.dvi.gz: $(FILES)
- @ln -sf ../gfx/isabelle.eps .
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-rm logics.dvi*
latex logics
rail logics
@@ -22,7 +22,7 @@
gzip -f logics.dvi
dist: $(FILES)
- @ln -sf ../gfx/isabelle.eps .
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-rm logics.dvi*
latex logics
latex logics
--- 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
--- a/doc-src/System/Makefile Thu Sep 24 15:23:47 1998 +0200
+++ b/doc-src/System/Makefile Thu Sep 24 15:36:16 1998 +0200
@@ -10,7 +10,7 @@
../iman.sty ../extra.sty
system.dvi.gz: $(FILES)
- @ln -sf ../gfx/isabelle.eps .
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-rm system.dvi*
latex system
latex system
@@ -19,7 +19,7 @@
gzip -f system.dvi
dist: $(FILES)
- @ln -sf ../gfx/isabelle.eps .
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-rm system.dvi*
latex system
latex system
--- 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