Makefileで、必要なコマンドがない場合の動作を修正
[YACASL2.git] / doc_inner / .gitignore
1 doxygen
2 gnu_global