| changeset 5548 | 5cd3396802f5 |
| parent 5374 | 6ef3742b6153 |
| child 6599 | dc5bf3f40ad3 |
--- 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