2006/06/25(日)make uninstall
installが出来たので，uninstallを書いていたのだが，pathの指定を忘れて，プラグイン毎に翻訳したファイルがすべて消えてしまった．まあ，大体のファイルは大学サーバに残っているのでいいのだが，ちょっとショックだ．makeのオプションである -n*1 の重要性を改めて知った．
installが出来たので，uninstallを書いていたのだが，pathの指定を忘れて，プラグイン毎に翻訳したファイルがすべて消えてしまった．まあ，大体のファイルは大学サーバに残っているのでいいのだが，ちょっとショックだ．makeのオプションである -n*1 の重要性を改めて知った．