From f7a6bd422a7539654e2832f35db8e1fbb4a26110 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Sat, 18 Mar 2023 15:19:08 +0100
Subject: [PATCH] doc: replace comma by underscore in name of option used in
 anchors

---
 doc/docgen.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/docgen.py b/doc/docgen.py
index 8d2eaa648..29cefb92e 100644
--- a/doc/docgen.py
+++ b/doc/docgen.py
@@ -648,7 +648,8 @@ class AutogenDoc():
                             '\"/\" for italic, '
                             '\"_\" for underline'
                         )
-                    self.write(f'* [[option_{config}.{section}.{option}]] '
+                    option_esc = option.replace(',', '_')
+                    self.write(f'* [[option_{config}.{section}.{option_esc}]] '
                                f'*{config}.{section}.{option}*')
                     self.write('** %s: pass:none[%s]',
                                _('description'), desc.replace(']', '\\]'))