diff -r 57165d7271b5 -r 6ef3742b6153 doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Mon Aug 24 21:09:59 1998 +0200
+++ b/doc-src/Ref/Makefile	Wed Aug 26 16:33:29 1998 +0200
@@ -12,7 +12,7 @@
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 ref.dvi.gz:   $(FILES) 
-	@ln -sf ../isabelle.eps .
+	@ln -sf ../gfx/isabelle.eps .
 	-rm ref.dvi*
 	latex ref
 	rail ref
@@ -24,7 +24,7 @@
 	gzip -f ref.dvi
 
 dist:   $(FILES) 
-	@ln -sf ../isabelle.eps .
+	@ln -sf ../gfx/isabelle.eps .
 	-rm ref.dvi*
 	latex ref
 	latex ref