1.1.3

whoot · May 14, 2023 · efeb4e3 · efeb4e3
1 parent 5d212ad
commit efeb4e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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