shared

2020-07-13 10:46:05 +02:00
parent 4508b6b064
commit 476a3ba743
9 changed files with 370 additions and 172 deletions
@@ -6,7 +6,7 @@

 PPA_KEYID=7808CE96D38B9201

-RCLVERS=1.27.2
+RCLVERS=1.27.3
 SCOPEVERS=1.20.2.4
 GSSPVERS=1.0.0
 PPAVERS=2
@@ -51,7 +51,7 @@ debdir=debian
 # 19.10    eoan   2020-07
 # 20.04LTS focal  2025-04
 series="xenial bionic eoan focal"
-series=
+#series=

 if test "X$series" != X ; then
    check_recoll_orig
@@ -137,7 +137,7 @@ done
 # 19.10    eoan   2020-07
 # 20.04LTS focal  2025-04
 series="xenial bionic eoan focal"
-series=focal
+series=

 debdir=debiangssp
 if test ! -d ${debdir}/ ; then