diff options
Diffstat (limited to 'share/tools')
| -rwxr-xr-x | share/tools/create_manpage_completions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/tools/create_manpage_completions.py b/share/tools/create_manpage_completions.py index a4c31ba7..8529eade 100755 --- a/share/tools/create_manpage_completions.py +++ b/share/tools/create_manpage_completions.py @@ -759,7 +759,7 @@ def parse_manpage_at_path(manpage_path, output_directory): return # Ignore the millions of links to BUILTIN(1) - if manpage.find('BUILTIN 1') != -1: + if 'BUILTIN 1' in manpage or 'builtin.1' in manpage: return # Clear the output list |