From e2a99f33eaf3dfd453111b41bb6c8be5103e92ab Mon Sep 17 00:00:00 2001 From: Martin Weinelt Date: Mon, 15 Dec 2025 16:00:13 +0100 Subject: [PATCH] docs: allow referencing module options --- scripts/generate-options.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/generate-options.py b/scripts/generate-options.py index 2e77297..ffc1168 100644 --- a/scripts/generate-options.py +++ b/scripts/generate-options.py @@ -11,6 +11,7 @@ header = """ """ template = """ +({key})= `````{{option}} {key} {description}