gen.pl: remove bold from .IP used for ##

Reported-by: Viktor Szakats
Fixes #12776
Closes #12777

diff --git a/docs/cmdline-opts/gen.pl b/docs/cmdline-opts/gen.pl
index 59c996d7be6ef6c2057432efabb3596abce165c0..152d09595c335631e71201c1d8289cdbfca0378f 100755 (executable)
--- a/docs/cmdline-opts/gen.pl
+++ b/docs/cmdline-opts/gen.pl
@@ -216,7 +216,7 @@ sub render {
                     push @desc, ".RS\n";
                     $tablemode = 1;
                 }
-                push @desc, ".IP \\fB$word\\fP\n";
+                push @desc, ".IP $word\n";
             }
             $header = 1;
             next;