clean:
echo "make xsemi to rebuild the files for xsemigroup"
echo "make xaut to rebuild the files for xautomaton"
xsemi:
rm -f xsemi_new_funcs.tcl.*
touch xsemi_new_funcs.tcl.menu1
touch xsemi_new_funcs.tcl.menu2
touch xsemi_new_funcs.tcl.menu3
touch xsemi_new_funcs.tcl.menu4
touch xsemi_new_funcs.tcl.procs
touch xsemi_new_funcs.tcl.names
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
xaut:
rm -f xaut_new_funcs.tcl.*
touch xaut_new_funcs.tcl.menu
touch xaut_new_funcs.tcl.procs
touch xaut_new_funcs.tcl.names
chmod a+w xaut_new_funcs.tcl.menu xaut_new_funcs.tcl.procs xaut_new_funcs.tcl.names
xnumsemi:
rm -f xnumsemi_new_funcs.tcl.*
touch xnumsemi_new_funcs.tcl.menu1
touch xnumsemi_new_funcs.tcl.menu2
touch xnumsemi_new_funcs.tcl.menu3
touch xnumsemi_new_funcs.tcl.procs
touch xnumsemi_new_funcs.tcl.names
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
quality 100%
¤ Dauer der Verarbeitung: 0.2 Sekunden
¤
*© Formatika GbR, Deutschland