From: David Bremner Date: Sun, 16 Aug 2020 14:32:28 +0000 (-0300) Subject: devel/release-checks.sh: use grep to find copyright year. X-Git-Tag: 0.31_rc0^0 X-Git-Url: https://git.cworth.org/git?p=notmuch;a=commitdiff_plain;h=8776faf6d5118e8152ecfacf94accf35ccebf1d2 devel/release-checks.sh: use grep to find copyright year. This is quite fragile, but it works for now, unlike the python version. In general it seems conf.py is not intended to be evaluated outside of sphinx, as it assumes certain global names (in particular "tags") are defined. --- diff --git a/devel/release-checks.sh b/devel/release-checks.sh index 7ba94822..cfa208d5 100755 --- a/devel/release-checks.sh +++ b/devel/release-checks.sh @@ -178,10 +178,7 @@ 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'. -# As __file__ is not defined when python command is given from command line, -# it is defined before contents of 'doc/conf.py' (which dereferences __file__) -# is executed. -copyrightline=`exec python -c "with open('doc/conf.py') as cf: __file__ = ''; exec(cf.read()); print(copyright)"` +copyrightline=$(grep ^copyright doc/conf.py) case $copyrightline in *2009-$year*) echo Yes. ;;