diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2017-12-05 20:46:55 -0500 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-12-07 08:18:29 -0400 |
| commit | 03f4f75124c6d9882b8306873e8908aac9eee2bb (patch) | |
| tree | 10b7f0875cba0731f7bb8d6fe1432a319b11e8f5 /configure | |
| parent | 9d23ebfcc30af11b2093bbdfc1288f14c2085525 (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-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
