Fabian Boehm 158e9b6829 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

(cherry picked from commit 5f672ece84d9583ad75e6fb61a84338057a18d19)

2023-10-01 09:44:33 +02:00

..

web_config

webconfig: Set a variable before

2023-02-27 22:40:59 +08:00

create_manpage_completions.py

create_manpage_completions: Also clear already_output_completions

2023-10-01 09:44:33 +02:00

deroff.py

deroff.py: unneccessarry pass, unreachable code

2021-12-12 10:45:50 -08:00