Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/System/Makefile
changeset 5548 5cd3396802f5
parent 5374 6ef3742b6153
child 6600 5a94bd71cc41 
--- 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
isabelle