===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian2/Makefile,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -p -r1.25 -r1.26
--- OpenXM/misc/packages/Linux/Debian2/Makefile	2010/07/19 09:41:53	1.25
+++ OpenXM/misc/packages/Linux/Debian2/Makefile	2010/07/19 10:11:50	1.26
@@ -117,6 +117,6 @@ clean-tilde:
 	rm -rf *~
 
 update-version:
-	../../../../bin/oxreplace --old VERSION=1.3.1-3 --new VERSION=1.3.1-4 OpenXM/download/Makefile
-	../../../../bin/oxreplace --old VERSION=1.3.1-3 --new VERSION=1.3.1-4 ../../../../src/asir-port/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.1-4 --new VERSION=1.3.1-5 OpenXM/download/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.1-4 --new VERSION=1.3.1-5 ../../../../src/asir-port/Makefile
 	echo "make commit under OpenXM/src/asir-port and here"