From 5f672ece84d9583ad75e6fb61a84338057a18d19 Mon Sep 17 00:00:00 2001 From: Fabian Boehm Date: Fri, 12 May 2023 16:35:05 +0200 Subject: [PATCH] create_manpage_completions: Also clear already_output_completions Prevents issues if we try to read a manpage twice - in which case we could fall back to another parser, creating different results. Fixes #9787 --- share/tools/create_manpage_completions.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/share/tools/create_manpage_completions.py b/share/tools/create_manpage_completions.py index 8605a16f0..7093f639d 100755 --- a/share/tools/create_manpage_completions.py +++ b/share/tools/create_manpage_completions.py @@ -837,6 +837,8 @@ def parse_manpage_at_path(manpage_path, output_directory): # Clear the output list built_command_output[:] = [] + global already_output_completions + already_output_completions = {} if DEROFF_ONLY: parsers = [TypeDeroffManParser()]