interim version 1.25.16~pre1

2019-05-17 10:31:30 +02:00 · 2019-05-17 10:31:30 +02:00 · ef5eed8bc6
commit ef5eed8bc6
parent 8ddcc578ac
3 changed files with 9 additions and 3 deletions
--- a/packaging/debian/buildppa.sh
+++ b/packaging/debian/buildppa.sh
@ -6,7 +6,7 @@

 PPA_KEYID=D38B9201

-RCLVERS=1.25.12
+RCLVERS=1.25.16~pre1
 SCOPEVERS=1.20.2.4
 GSSPVERS=1.0.0
 PPAVERS=5
@ -22,7 +22,7 @@ case $RCLVERS in
    1.14*) PPANAME=recoll-ppa;;
    *)     PPANAME=recoll15-ppa;;
 esac
-#PPANAME=recollexp-ppa
+PPANAME=recollexp-ppa
 echo "PPA: $PPANAME. Type CR if Ok, else ^C"
 read rep

--- a/packaging/debian/debian/changelog
+++ b/packaging/debian/debian/changelog
@ -1,3 +1,9 @@
+recoll (1.25.16~pre1-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
+                
+  * Small improvements in synonyms handling
+  
+ -- Jean-Francois Dockes <jf@dockes.org>  Wed, 11 Apr 2019 15:52:00 +0200
+
 recoll (1.25.12-1~ppaPPAVERS~SERIES1) SERIES; urgency=low
                
  * New release 1.25.12
--- a/src/VERSION
+++ b/src/VERSION
@ -1 +1 @@
-1.25.15
+1.25.16~pre1