gen.pl: remove bold from .IP used for ##
Reported-by: Viktor Szakats Fixes #12776 Closes #12777
This commit is contained in:
Родитель
a808aab068
Коммит
196074e73f
|
@ -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;
|
||||
|
|
Загрузка…
Ссылка в новой задаче