1.1 --- a/doc-src/Ref/Makefile Mon Aug 24 21:09:59 1998 +0200
1.2 +++ b/doc-src/Ref/Makefile Wed Aug 26 16:33:29 1998 +0200
1.3 @@ -12,7 +12,7 @@
1.4 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
1.5
1.6 ref.dvi.gz: $(FILES)
1.7 - @ln -sf ../isabelle.eps .
1.8 + @ln -sf ../gfx/isabelle.eps .
1.9 -rm ref.dvi*
1.10 latex ref
1.11 rail ref
1.12 @@ -24,7 +24,7 @@
1.13 gzip -f ref.dvi
1.14
1.15 dist: $(FILES)
1.16 - @ln -sf ../isabelle.eps .
1.17 + @ln -sf ../gfx/isabelle.eps .
1.18 -rm ref.dvi*
1.19 latex ref
1.20 latex ref