===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian2/Makefile,v
retrieving revision 1.40
retrieving revision 1.46
diff -u -p -r1.40 -r1.46
--- OpenXM/misc/packages/Linux/Debian2/Makefile	2016/02/12 00:45:54	1.40
+++ OpenXM/misc/packages/Linux/Debian2/Makefile	2019/06/12 06:42:04	1.46
@@ -1,6 +1,6 @@
 # Do source dot.bashrc before doing something.
 
-VERSION=1.3.2-1
+VERSION=1.3.3-1
 # 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-14 --new VERSION=1.3.2-1 OpenXM/download/Makefile
-	../../../../bin/oxreplace --old VERSION=1.3.1-14 --new VERSION=1.3.2-1 ../../../../src/asir-port/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.2-5 --new VERSION=1.3.3-1 OpenXM/download/Makefile
+	../../../../bin/oxreplace --old VERSION=1.3.2-5 --new VERSION=1.3.3-1 ../../../../src/asir-port/Makefile
 	echo "make commit under OpenXM/src/asir-port and here"