diff options
| -rw-r--r-- | doc/output.but | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/output.but b/doc/output.but index de4285b..9a9d535 100644 --- a/doc/output.but +++ b/doc/output.but @@ -1754,7 +1754,7 @@ specified. \dt \I{\cw{\\cfg\{paper-code-fonts\}}}\cw{\\cfg\{paper-code-fonts\}\{}\e{bold-font}\cw{\}}[\cw{\{}\e{italic-font}\cw{\}}[\cw{\{}\e{normal-font}\cw{\}}]] -\dd Specifies the fonts to use for text in code paragraps. The +\dd Specifies the fonts to use for text in code paragraphs. The \e{bold-font} is used for bold text, the \e{italic-font} for emphasised text, and the \e{normal-font} for normal code. |