===================================================================
RCS file: /home/cvs/OpenXM/src/k097/Makefile.in,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- OpenXM/src/k097/Makefile.in	2016/09/27 01:05:55	1.8
+++ OpenXM/src/k097/Makefile.in	2019/01/28 04:51:51	1.9
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/k097/Makefile.in,v 1.7 2015/09/29 01:52:14 takayama Exp $
+# $OpenXM: OpenXM/src/k097/Makefile.in,v 1.8 2016/09/27 01:05:55 takayama Exp $
 #
 #  Depends on  all-kan96xx [source tree of kan96xx at ${Kan96xx} is required]
 #              install-gmp, install-gc, install-util
@@ -154,3 +154,7 @@ install-lib:
 install-lib-for-debug :
 	${RM} -rf ${OpenXM_lib_debug}/k097
 	ln -s ../src/k097 ${OpenXM_lib_debug}/k097
+
+distclean: clean
+	rm -f .configure_done
+