From efeb4e313c24f5f114ec34604c825c91607a59dc Mon Sep 17 00:00:00 2001
From: Jan Rude <whoot@users.noreply.github.com>
Date: Sun, 14 May 2023 14:09:53 +0200
Subject: [PATCH] 1.1.3

---
 lib/extensions.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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