1.1 --- a/doc-src/System/Makefile Thu Sep 24 15:23:47 1998 +0200
1.2 +++ b/doc-src/System/Makefile Thu Sep 24 15:36:16 1998 +0200
1.3 @@ -10,7 +10,7 @@
1.4 ../iman.sty ../extra.sty
1.5
1.6 system.dvi.gz: $(FILES)
1.7 - @ln -sf ../gfx/isabelle.eps .
1.8 + test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
1.9 -rm system.dvi*
1.10 latex system
1.11 latex system
1.12 @@ -19,7 +19,7 @@
1.13 gzip -f system.dvi
1.14
1.15 dist: $(FILES)
1.16 - @ln -sf ../gfx/isabelle.eps .
1.17 + test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
1.18 -rm system.dvi*
1.19 latex system
1.20 latex system