# HG changeset patch
# User wenzelm
# Date 878755174 -3600
# Node ID 84a0bfbd74e58e0b5f46373274e7b386db2a9924
# Parent  06774cd4305430e232011be616e1f779193a8bf9
Tools/8bit: ./mk;

diff -r 06774cd43054 -r 84a0bfbd74e5 Admin/makedist
--- 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