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