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