diff --git a/share/tools/create_manpage_completions.py b/share/tools/create_manpage_completions.py index 86373a27f..c2ad6fdb6 100755 --- a/share/tools/create_manpage_completions.py +++ b/share/tools/create_manpage_completions.py @@ -929,16 +929,10 @@ def parse_and_output_man_pages(paths, output_directory, show_progress): sys.stdout.write("\r{0}\r".format(padded_progress_str)) sys.stdout.flush() - # Maybe we want to skip this item - skip = False if not WRITE_TO_STDOUT: # Compute the path that we would write to output_path = os.path.join(output_directory, output_file_name) - # Now skip if requested - if skip: - continue - try: if parse_manpage_at_path(manpage_path, output_directory): successful_count += 1