In mkrel, build documentation with python3

After commit 95830231758de259abbbccedbac01613f578768a, the
documentation cannot be built with Python 2.  Run make with
"PYTHON=python3" to ensure that we use Python 3.

diff --git a/src/util/mkrel b/src/util/mkrel
index d962a642e77aba1c100abab240c8647cf97b61e7..1bef059c3ee6f7333c58cd816ad6f8d4b074827a 100755 (executable)
--- a/src/util/mkrel
+++ b/src/util/mkrel
@@ -183,9 +183,9 @@ rm -rf $reldir/.git || true
 if test $dodoc = t; then
        echo "Building doc..."
        (cd $reldir/src/doc && make -f Makefile.in \
-           top_srcdir=.. srcdir=. SPHINX_ARGS=-W PYTHON=python html pdf)
+           top_srcdir=.. srcdir=. SPHINX_ARGS=-W PYTHON=python3 html pdf)
        (cd $reldir/src/doc && make -f Makefile.in \
-           top_srcdir=.. srcdir=. SPHINX_ARGS=-W PYTHON=python clean)
+           top_srcdir=.. srcdir=. SPHINX_ARGS=-W PYTHON=python3 clean)
 fi
 
 echo "Generating tarfiles..."