===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian2/Makefile,v
retrieving revision 1.39
retrieving revision 1.42
diff -u -p -r1.39 -r1.42
--- OpenXM/misc/packages/Linux/Debian2/Makefile	2015/02/25 05:25:13	1.39
+++ OpenXM/misc/packages/Linux/Debian2/Makefile	2017/02/10 00:22:41	1.42
@@ -1,6 +1,6 @@
 # Do source dot.bashrc before doing something.
 
-VERSION=1.3.1-14
+VERSION=1.3.2-2
 # This VERSION must be compatible with debian/control and changelog ver. 
 #   use "make update-version" to update these values.
 #                                OpenXM/download/Makefile
@@ -12,7 +12,7 @@ OS=`dpkg --print-architecture`
 RSYNC=rsync -avz -e ssh
 #FTP_DIR=/home/web/pub/OpenXM/head/knoppix
 FTP_DIR=/home/web/pub/OpenXM/head/knoppix
-APT_DIR=/usr/local/www/data/KnoppixMath-`dpkg --print-architecture`
+APT_DIR=/usr/local/www/data/MathLibre-`dpkg --print-architecture`
 TM_OX=work/OpenXM/src/kxx/init-openxm.scm
 
 build-package: fetch  make-tar-ball-2  make-tar-ball-3
@@ -119,6 +119,6 @@ clean-tilde:
 	rm -rf *~
 
 update-version:
-	../../../../bin/oxreplace --old VERSION=1.3.1-13 --new VERSION=1.3.1-14 OpenXM/download/Makefile
-	../../../../bin/oxreplace --old VERSION=1.3.1-13 --new VERSION=1.3.1-14 ../../../../src/asir-port/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.2-1 --new VERSION=1.3.2-2 OpenXM/download/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.2-1 --new VERSION=1.3.2-2 ../../../../src/asir-port/Makefile
 	echo "make commit under OpenXM/src/asir-port and here"