| changeset 5170 | 33fbffd06c12 |
| parent 3164 | ddb0b1fdfdea |
| child 5374 | 6ef3742b6153 |
--- a/doc-src/Ref/Makefile Tue Jul 21 16:38:25 1998 +0200 +++ b/doc-src/Ref/Makefile Tue Jul 21 16:41:12 1998 +0200 @@ -12,6 +12,7 @@ ../rail.sty ../proof.sty ../iman.sty ../extra.sty ref.dvi.gz: $(FILES) + @ln -sf ../isabelle.eps . -rm ref.dvi* latex ref rail ref @@ -23,6 +24,7 @@ gzip -f ref.dvi dist: $(FILES) + @ln -sf ../isabelle.eps . -rm ref.dvi* latex ref latex ref