diff --git a/lib/extensions.py b/lib/extensions.py index b4de90f..8438d81 100644 --- a/lib/extensions.py +++ b/lib/extensions.py @@ -83,7 +83,7 @@ def search_ext_version(self, found_extensions): else: name = name.rsplit('/',2)[1] if '/doc/manual.' in path: - # If version info was already found, do not use manual + # Only use manual if version info has not already been found elsewhere if found_extensions[name]['version'] is None: found_extensions[name]['version'] = 'Check manually' found_extensions[name]['file'] = path