| changeset 5170 | 33fbffd06c12 |
| parent 3172 | 629d63c74ddc |
| child 5374 | 6ef3742b6153 |
--- a/doc-src/System/Makefile Tue Jul 21 16:38:25 1998 +0200 +++ b/doc-src/System/Makefile Tue Jul 21 16:41:12 1998 +0200 @@ -9,7 +9,8 @@ FILES = system.tex \ ../iman.sty ../extra.sty -system.dvi.gz: $(FILES) +system.dvi.gz: $(FILES) + @ln -sf ../isabelle.eps . -rm system.dvi* latex system latex system @@ -17,7 +18,8 @@ latex system gzip -f system.dvi -dist: $(FILES) +dist: $(FILES) + @ln -sf ../isabelle.eps . -rm system.dvi* latex system latex system