diff options
| author | Phil Jones <philj56@gmail.com> | 2022-07-26 00:40:12 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-07-26 00:41:20 +0100 |
| commit | ab0e671a20c13de9750dcd18ba3cd7a2c223e6fd (patch) | |
| tree | 66a91f51cc00653cfebb2b7f3514a90283c877ef /doc/tofi.5.scd | |
| parent | 7b611b113b877a8b70228c8fcef14d6e436dc4bd (diff) | |
Change --font-name option to --font in man page.
This should have been done as part of
32e2cb851e5acd1163c9418a2efa138fcdac6070.
Diffstat (limited to 'doc/tofi.5.scd')
| -rw-r--r-- | doc/tofi.5.scd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index 7b0dd9b..41c5fe9 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -24,7 +24,7 @@ options. # OPTIONS -*font-name*=_font_ +*font*=_font_ Font to use. If _font_ is a path to a font file, *tofi* will not have to use Pango or Fontconfig. This greatly speeds up startup, but any characters not in the chosen font will fail to render. |