make cleanでstampファイルを削除するように修正

diff --git a/Makefile b/Makefile
index 60f9111ba8265b7d2cb9cd2a7c5e6e0610f1129d..966c2d7ed698b5221cb36ce8fe6be43e1e708b50 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -106,7 +106,10 @@ gitpush: gitpush___stamp
 
 distclean: cmd-clean src-distclean gitclean version-clean clean
 
-clean: src-clean doc-clean doc_inner-clean
+clean: stamp-clean src-clean doc-clean doc_inner-clean
+
+stamp-clean:
+       $(RM) *___stamp
 
 cmd-clean:
        $(RM) $(CMDFILES)