release: call python3 instead of python

[notmuch] / devel / release-checks.sh

diff --git a/devel/release-checks.sh b/devel/release-checks.sh
index 8604a9f7d10bb3e62a620de25ae02d7031bf8c42..23c29eaafcdba5b37098cd4058fe53262be7b8da 100755 (executable)
--- a/devel/release-checks.sh
+++ b/devel/release-checks.sh
@@ -29,7 +29,7 @@ append_emsg ()
        emsgs="${emsgs:+$emsgs\n}  $1"
 }
 
-for f in ./version debian/changelog NEWS "$PV_FILE"
+for f in ./version.txt debian/changelog NEWS "$PV_FILE"
 do
        if   [ ! -f "$f" ]; then append_emsg "File '$f' is missing"
        elif [ ! -r "$f" ]; then append_emsg "File '$f' is unreadable"
@@ -51,9 +51,9 @@ then
                exit 1
        fi
 else
-       echo "Reading './version' file failed (suprisingly!)"
+       echo "Reading './version' file failed (surprisingly!)"
        exit 1
-fi < ./version
+fi < ./version.txt
 
 readonly VERSION
 
@@ -109,7 +109,7 @@ else
 fi
 
 echo -n "Checking that python bindings version is $VERSION... "
-py_version=`python -c "with open('$PV_FILE') as vf: exec(vf.read()); print(__VERSION__)"`
+py_version=`python3 -c "with open('$PV_FILE') as vf: exec(vf.read()); print(__VERSION__)"`
 if [ "$py_version" = "$VERSION" ]
 then
        echo Yes.
@@ -175,6 +175,18 @@ case $news_date in
        append_emsg "Date '$news_date' in NEWS file is not in format (yyyy-mm-dd)"
 esac
 
+year=`exec date +%Y`
+echo -n "Checking that copyright in documentation contains 2009-$year... "
+# Read the value of variable `copyright' defined in 'doc/conf.py'.
+copyrightline=$(grep ^copyright doc/conf.py)
+case $copyrightline in
+       *2009-$year*)
+               echo Yes. ;;
+       *)
+               echo No.
+               append_emsg "The copyright in doc/conf.py line '$copyrightline' does not contain '2009-$year'"
+esac
+
 if [ -n "$emsgs" ]
 then
        echo