diff options
author | Alexander Hedges <ahedges@ethz.ch> | 2015-11-07 18:01:55 +0100 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2015-11-08 12:19:15 -0800 |
commit | 8d97a858349853ba3e965c450a0c4c90fbdda554 (patch) | |
tree | e665a0bfb934807bfffb9a6c911da9e781772bc3 /share/tools | |
parent | e7d18b96f9f79778472617609dd8ad6d9734046c (diff) |
Ignore references to builtin on the mac
On my system (OS-X 10.11) references to builtin are denoted by:
".so man1/builtin.1". So you also need to check against that.
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 |