From 196074e73feded8d8de9003837853622d463667e Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Thu, 25 Jan 2024 01:01:46 +0100 Subject: [PATCH] gen.pl: remove bold from .IP used for ## Reported-by: Viktor Szakats Fixes #12776 Closes #12777 --- docs/cmdline-opts/gen.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/cmdline-opts/gen.pl b/docs/cmdline-opts/gen.pl index 59c996d7be..152d09595c 100755 --- 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; -- 2.47.3