CLOCKSの型を修正

[YACASL2.git] / Makefile

diff --git a/Makefile b/Makefile
index 0f3cbaf..2d5129c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,7 @@ gtags:
        @$(GTAGS)
 
 htags: doc_inner gtags
+       @rm -rf $</htags
        @$(HTAGS) $(HTAGSFLAG) $</
        @$(MV) $</HTML $</htags