1clean: 2 echo "make xsemi to rebuild the files for xsemigroup" 3 echo "make xaut to rebuild the files for xautomaton" 4 5 6xsemi: 7 rm -f xsemi_new_funcs.tcl.* 8 touch xsemi_new_funcs.tcl.menu1 9 touch xsemi_new_funcs.tcl.menu2 10 touch xsemi_new_funcs.tcl.menu3 11 touch xsemi_new_funcs.tcl.menu4 12 touch xsemi_new_funcs.tcl.procs 13 touch xsemi_new_funcs.tcl.names 14 chmod a+w xsemi_new_funcs.tcl.menu1 xsemi_new_funcs.tcl.menu2 xsemi_new_funcs.tcl.menu3 xsemi_new_funcs.tcl.menu4 xsemi_new_funcs.tcl.procs xsemi_new_funcs.tcl.names 15 16xaut: 17 rm -f xaut_new_funcs.tcl.* 18 touch xaut_new_funcs.tcl.menu 19 touch xaut_new_funcs.tcl.procs 20 touch xaut_new_funcs.tcl.names 21 chmod a+w xaut_new_funcs.tcl.menu xaut_new_funcs.tcl.procs xaut_new_funcs.tcl.names 22 23xnumsemi: 24 rm -f xnumsemi_new_funcs.tcl.* 25 touch xnumsemi_new_funcs.tcl.menu1 26 touch xnumsemi_new_funcs.tcl.menu2 27 touch xnumsemi_new_funcs.tcl.menu3 28 touch xnumsemi_new_funcs.tcl.procs 29 touch xnumsemi_new_funcs.tcl.names 30 chmod a+w xnumsemi_new_funcs.tcl.menu1 xnumsemi_new_funcs.tcl.menu2 xnumsemi_new_funcs.tcl.menu3 xnumsemi_new_funcs.tcl.procs xnumsemi_new_funcs.tcl.names 31