# HG changeset patch
# User oheimb
# Date 906644176 -7200
# Node ID 5cd3396802f56e49388b275f7834067304ff09a4
# Parent  29f09a7780379b396d9887d97c889a777778ee33
workaround for litte bug in our ln command

diff -r 29f09a778037 -r 5cd3396802f5 doc-src/Intro/Makefile
--- 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
diff -r 29f09a778037 -r 5cd3396802f5 doc-src/Logics/Makefile
--- 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
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
diff -r 29f09a778037 -r 5cd3396802f5 doc-src/System/Makefile
--- 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
diff -r 29f09a778037 -r 5cd3396802f5 doc-src/Tutorial/Makefile
--- 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