diff options
-rwxr-xr-x | share/tools/create_manpage_completions.py | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/share/tools/create_manpage_completions.py b/share/tools/create_manpage_completions.py index 24650ac6..8bf41e42 100755 --- a/share/tools/create_manpage_completions.py +++ b/share/tools/create_manpage_completions.py @@ -952,18 +952,4 @@ if __name__ == "__main__": if e.errno != errno.EEXIST: raise - if True: - parse_and_output_man_pages(file_paths, output_directory, show_progress) - else: - # Profiling code - import cProfile, pstats - cProfile.run('parse_and_output_man_pages(file_paths, output_directory, show_progress)', 'fooprof') - p = pstats.Stats('fooprof') - p.sort_stats('cumulative').print_stats(100) - - # Here we can write out all the parser infos - if False: - for name in PARSER_INFO: - print('Parser ' + name + ':') - print('\t' + ', '.join(PARSER_INFO[name])) - print('') + parse_and_output_man_pages(file_paths, output_directory, show_progress) |