From ab0e671a20c13de9750dcd18ba3cd7a2c223e6fd Mon Sep 17 00:00:00 2001 From: Phil Jones Date: Tue, 26 Jul 2022 00:40:12 +0100 Subject: Change --font-name option to --font in man page. This should have been done as part of 32e2cb851e5acd1163c9418a2efa138fcdac6070. --- doc/tofi.5.md | 2 +- 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. -- cgit v1.2.3