===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian2/Makefile,v
retrieving revision 1.38
retrieving revision 1.45
diff -u -p -r1.38 -r1.45
--- OpenXM/misc/packages/Linux/Debian2/Makefile	2015/02/20 01:20:45	1.38
+++ OpenXM/misc/packages/Linux/Debian2/Makefile	2019/02/18 04:08:40	1.45
@@ -1,6 +1,6 @@
 # Do source dot.bashrc before doing something.
 
-VERSION=1.3.1-13
+VERSION=1.3.2-5
 # 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-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
+	../../../../bin/oxreplace --old VERSION=1.3.2-4 --new VERSION=1.3.2-5 OpenXM/download/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.2-4 --new VERSION=1.3.2-5 ../../../../src/asir-port/Makefile
 	echo "make commit under OpenXM/src/asir-port and here"