| changeset 5374 | 6ef3742b6153 |
| parent 5170 | 33fbffd06c12 |
| child 5548 | 5cd3396802f5 |
--- a/doc-src/Logics/Makefile Mon Aug 24 21:09:59 1998 +0200 +++ b/doc-src/Logics/Makefile Wed Aug 26 16:33:29 1998 +0200 @@ -10,7 +10,7 @@ ../rail.sty ../proof.sty ../iman.sty ../extra.sty logics.dvi.gz: $(FILES) - @ln -sf ../isabelle.eps . + @ln -sf ../gfx/isabelle.eps . -rm logics.dvi* latex logics rail logics @@ -22,7 +22,7 @@ gzip -f logics.dvi dist: $(FILES) - @ln -sf ../isabelle.eps . + @ln -sf ../gfx/isabelle.eps . -rm logics.dvi* latex logics latex logics