This is quite fragile, but it works for now, unlike the python

In general it seems is not intended to be evaluated outside of
sphinx, as it assumes certain global names (in particular "tags") are

 I am going to apply this to unblock the release process, but I
 welcome better solutions.
 devel/ | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/devel/ b/devel/
index 7ba94822..cfa208d5 100755
--- a/devel/
+++ b/devel/
@@ -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/'.
-# As __file__ is not defined when python command is given from command line,
-# it is defined before contents of 'doc/' (which dereferences __file__)
-# is executed.
-copyrightline=`exec python -c "with open('doc/') as cf: __file__ = ''; 
exec(; print(copyright)"`
+copyrightline=$(grep ^copyright doc/
 case $copyrightline in
                echo Yes. ;;
notmuch mailing list --
To unsubscribe send an email to

Reply via email to