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 | |
| parent | 7b611b113b877a8b70228c8fcef14d6e436dc4bd (diff) | |
Change --font-name option to --font in man page.
This should have been done as part of
32e2cb851e5acd1163c9418a2efa138fcdac6070.
| -rw-r--r-- | doc/tofi.5.md | 2 | ||||
| -rw-r--r-- | doc/tofi.5.scd | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/tofi.5.md b/doc/tofi.5.md index 3137dc3..55e615f 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -22,7 +22,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 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. |