From 5c11e169dc99918c5e42dad2614d1ea0959972d7 Mon Sep 17 00:00:00 2001 From: Shankar Easwaran Date: Fri, 24 Apr 2026 17:01:10 -0500 Subject: [PATCH] [docs] Supplement documentation overrides HelpText Signed-off-by: Shankar Easwaran --- docs/userguide/GenerateOptionsDocsFromTblGen.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/userguide/GenerateOptionsDocsFromTblGen.py b/docs/userguide/GenerateOptionsDocsFromTblGen.py index 604e96773..59e3c4fe5 100755 --- a/docs/userguide/GenerateOptionsDocsFromTblGen.py +++ b/docs/userguide/GenerateOptionsDocsFromTblGen.py @@ -80,10 +80,7 @@ def generate_docs(self, out, supplement=None): return out.write(".. option:: " + ", ".join(option_forms)) out.write("\n") - if self.help_text: - out.write("\n") - out.write(self.help_text) - out.write("\n") + # supplement overrides helptext if supplement: out.write("\n") # Indent every line of the supplement by 3 spaces so it sits @@ -94,6 +91,10 @@ def generate_docs(self, out, supplement=None): ) out.write(indented) out.write("\n") + elif self.help_text: + out.write("\n") + out.write(self.help_text) + out.write("\n") @classmethod def fixHelpTextFormatting(self, help_text):