diff options
| -rwxr-xr-x | scripts/gen_vimdoc.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/gen_vimdoc.py b/scripts/gen_vimdoc.py index 8d38382405..57b46a381e 100755 --- a/scripts/gen_vimdoc.py +++ b/scripts/gen_vimdoc.py @@ -60,10 +60,11 @@ if sys.version_info < MIN_PYTHON_VERSION: sys.exit(1) doxygen_version = tuple([int(i) for i in subprocess.check_output(["doxygen", "-v"], - universal_newlines=True).split('.')]) + universal_newlines=True).split()[0].split('.')]) if doxygen_version < MIN_DOXYGEN_VERSION: - print("requires Doxygen {}.{}.{}+".format(*MIN_DOXYGEN_VERSION)) + print("\nRequires doxygen {}.{}.{}+".format(*MIN_DOXYGEN_VERSION)) + print("Your doxygen version is {}.{}.{}\n".format(*doxygen_version)) sys.exit(1) # DEBUG = ('DEBUG' in os.environ) |