aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2017-12-05 20:46:55 -0500
committerDavid Bremner <david@tethera.net>2017-12-07 08:18:29 -0400
commit03f4f75124c6d9882b8306873e8908aac9eee2bb (patch)
tree10b7f0875cba0731f7bb8d6fe1432a319b11e8f5 /configure
parent9d23ebfcc30af11b2093bbdfc1288f14c2085525 (diff)
debian/control: build-depend on python3-sphinx instead of python-sphinx
python2 is going to be deprecated, and python3-sphinx is available all the way back to oldoldstable. let's use the more modern version. To make this work and still ship the manpages, tell ./configure to prefer python3 over python, if it exists.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 1bf52319..b7d27ea0 100755
--- a/configure
+++ b/configure
@@ -556,7 +556,7 @@ fi
printf "Checking for python... "
have_python=0
-for name in ${PYTHON} python python2 python3; do
+for name in ${PYTHON} python3 python python2; do
if command -v $name > /dev/null; then
have_python=1
python=$name