From: Daniel Stenberg Date: Thu, 25 Jan 2024 00:01:46 +0000 (+0100) Subject: gen.pl: remove bold from .IP used for ## X-Git-Tag: curl-8_6_0~43 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=196074e73feded8d8de9003837853622d463667e;p=thirdparty%2Fcurl.git 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 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;