#! /bin/bash

mv -i makefile      Makefile
mv -i makefile.nol  Makefile.nol
mv -i m             M
mv -i mm            MM
mv -i mmm.bat       MMM.bat
mv -i make.sh       Make.sh
mv -i remove.tab    Remove.tab
mv -i summary       Summary
mv -i howtocom.txt  HowToCom.txt
mv -i howtorea.txt  HowToRea.txt
for i in msc.bat tcc.bat ztc.bat ztc.res ztc.ret; do mv -i make$i Make$i; done

chmod 755 Remove.tab wavcmp Make.sh M MM Remove.comment

./Remove.tab

make
make test3
sync
make speed