diff options
| author | Greg Hudson <ghudson@mit.edu> | 2019-12-11 12:09:27 -0500 |
|---|---|---|
| committer | Greg Hudson <ghudson@mit.edu> | 2019-12-11 12:11:37 -0500 |
| commit | 1d8adadb14f732e05b864d178e2068393fd9e777 (patch) | |
| tree | 537e120cd13b4778b730e29ba0f6a5dc784529a3 | |
| parent | b4297051674d08d27d94881bf79b8f4dea82b686 (diff) | |
| download | krb5-1d8adadb14f732e05b864d178e2068393fd9e777.zip krb5-1d8adadb14f732e05b864d178e2068393fd9e777.tar.gz krb5-1d8adadb14f732e05b864d178e2068393fd9e777.tar.bz2 | |
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.
(cherry picked from commit 17b40b1acb8f2e2c1f646ae76a9919089c4ba85c)
| -rwxr-xr-x | src/util/mkrel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/mkrel b/src/util/mkrel index d962a64..1bef059 100755 --- 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..." |