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.
This commit is contained in:
David Bremner 2020-08-16 11:32:28 -03:00
parent 557aa2d75f
commit 8776faf6d5

View file

@ -178,10 +178,7 @@ esac
year=`exec date +%Y` year=`exec date +%Y`
echo -n "Checking that copyright in documentation contains 2009-$year... " echo -n "Checking that copyright in documentation contains 2009-$year... "
# Read the value of variable `copyright' defined in 'doc/conf.py'. # Read the value of variable `copyright' defined in 'doc/conf.py'.
# As __file__ is not defined when python command is given from command line, copyrightline=$(grep ^copyright doc/conf.py)
# 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)"`
case $copyrightline in case $copyrightline in
*2009-$year*) *2009-$year*)
echo Yes. ;; echo Yes. ;;