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.md | |
| 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.md')
| -rw-r--r-- | doc/tofi.5.md | 2 |
1 files changed, 1 insertions, 1 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 |