aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authordec05eba <dec05eba@protonmail.com>2019-08-18 06:30:22 +0200
committerdec05eba <dec05eba@protonmail.com>2020-07-25 14:36:46 +0200
commit04b7ba96dbabea540f96ba7f72a220f067e9aaf8 (patch)
treed078f8bd3ed3ec884cb25b3b61ff454bfb401435 /doc
parentc1bea102df3f2907f345b89ff0f66f5055ac4767 (diff)
Improve doc extra
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/doc_extract.py8
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/doc_extract.py b/doc/doc_extract.py
index 1ce7dc9..ae44677 100755
--- a/doc/doc_extract.py
+++ b/doc/doc_extract.py
@@ -38,11 +38,9 @@ def extract_docs(filepath):
break
index += 6
- doc_name_end = len(file_content)
- for i, c in enumerate(file_content[index:]):
- if c == ')':
- doc_name_end = index + i
- break
+ doc_name_end = file_content.find(')', index)
+ if doc_name_end == -1:
+ doc_name_end = len(file_content)
doc_name = file_content[index:doc_name_end]
doc_name_end += 1