===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian2/Makefile,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -p -r1.35 -r1.36
--- OpenXM/misc/packages/Linux/Debian2/Makefile	2014/02/24 05:32:12	1.35
+++ OpenXM/misc/packages/Linux/Debian2/Makefile	2014/02/25 04:29:55	1.36
@@ -1,6 +1,6 @@
 # Do source dot.bashrc before doing something.
 
-VERSION=1.3.1-12
+VERSION=1.3.1-13
 # This VERSION must be compatible with debian/control and changelog ver. 
 #   use "make update-version" to update these values.
 #                                OpenXM/download/Makefile
@@ -117,6 +117,6 @@ clean-tilde:
 	rm -rf *~
 
 update-version:
-	../../../../bin/oxreplace --old VERSION=1.3.1-11 --new VERSION=1.3.1-12 OpenXM/download/Makefile
-	../../../../bin/oxreplace --old VERSION=1.3.1-11 --new VERSION=1.3.1-12 ../../../../src/asir-port/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.1-12 --new VERSION=1.3.1-13 OpenXM/download/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.1-12 --new VERSION=1.3.1-13 ../../../../src/asir-port/Makefile
 	echo "make commit under OpenXM/src/asir-port and here"