===================================================================
RCS file: /home/cvs/OpenXM/src/sage/Makefile,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/sage/Makefile	2019/03/06 02:38:33	1.2
+++ OpenXM/src/sage/Makefile	2019/03/22 04:11:17	1.3
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/sage/Makefile,v 1.1 2018/09/08 05:35:35 takayama Exp $
+# $OpenXM: OpenXM/src/sage/Makefile,v 1.2 2019/03/06 02:38:33 takayama Exp $
 usage:
 	@echo "make install (as root)"
 	@echo "     copy-to-ox, copy-from-ox"
@@ -11,7 +11,7 @@ install:
 copy-to-ox:
 	rsync -avzu asir.py ${OpenXM_HOME}/src/sage/asir.py
 	rsync -avzu Makefile ${OpenXM_HOME}/src/sage/Makefile
-	@echo "commit $OpenXM_HOME and make copy-from-ox, git-misc commit"
+	@echo "pushd ${OpenXM_HOME}/src/sage; cvs-openxm commit ; popd and make copy-from-ox, git-misc commit"
 copy-from-ox:
 	rsync -avzu ${OpenXM_HOME}/src/sage/asir.py asir.py
 	rsync -avzu ${OpenXM_HOME}/src/sage/Makefile Makefile