Tools/8bit: ./mk;
authorwenzelm
Wed Nov 05 19:39:34 1997 +0100 (1997-11-05)
changeset 417684a0bfbd74e5
parent 4175 06774cd43054
child 4177 77f65eb64da4
Tools/8bit: ./mk;
Admin/makedist
     1.1 --- a/Admin/makedist	Wed Nov 05 18:31:14 1997 +0100
     1.2 +++ b/Admin/makedist	Wed Nov 05 19:39:34 1997 +0100
     1.3 @@ -121,7 +121,8 @@
     1.4  
     1.5  find . -name CVS -exec rm -rf {} \;
     1.6  
     1.7 -mkdir -p Tools/8bit/bin    #FIXME tmp
     1.8 +( cd Tools/8bit; ./mk; )
     1.9 +
    1.10  find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \;
    1.11  rm Distribution/doc/Isa-logics.eps
    1.12  rm -rf Admin Doc