diff options
author | Niclas Rosenvik <[email protected]> | 2022-01-30 10:58:07 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2022-01-30 10:58:07 +0100 |
commit | abc45d1f9cfb545c54aad3b88747869c48906847 (patch) | |
tree | 4f24e6ed3ef64bd8bf071b600e4978a7db6bcf12 | |
parent | 05543ea58f85abfdea72f4617c753b9466f8e202 (diff) |
Find rst2man from pkgsrc
Find rst2man from pkgsrc.
Pkgsrc installs rst2man as rst2man-${python:version} (rst2man-3.9).
-rwxr-xr-x | src/scripts/build_docs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index 85fb6f5d6..b771db278 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -41,7 +41,7 @@ def have_prog(prog): return False def find_rst2man(): - possible_names = ['rst2man', 'rst2man.py'] + possible_names = ['rst2man', 'rst2man.py', 'rst2man-%d.%d' % sys.version_info[:2]] for name in possible_names: if have_prog(name): |