| changeset 4176 | 84a0bfbd74e5 |
| parent 3698 | 0b8986fd9bfc |
| child 4180 | 2f0df5b390e8 |
--- a/Admin/makedist Wed Nov 05 18:31:14 1997 +0100 +++ b/Admin/makedist Wed Nov 05 19:39:34 1997 +0100 @@ -121,7 +121,8 @@ find . -name CVS -exec rm -rf {} \; -mkdir -p Tools/8bit/bin #FIXME tmp +( cd Tools/8bit; ./mk; ) + find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \; rm Distribution/doc/Isa-logics.eps rm -rf Admin Doc