diff options
| author | Brendan O'Dea <bod@debian.org> | 2021-08-22 22:04:18 +1000 |
|---|---|---|
| committer | Brendan O'Dea <bod@debian.org> | 2021-08-22 22:04:18 +1000 |
| commit | 409660dcfbadbd05aa5a46cde4fc9a521d539921 (patch) | |
| tree | 0f7f83e431b0b3f7e76da604f12b579594c1daad /help2man.texi | |
| parent | 99c833e7ce3aadc5a51d5742fb68bd0b1ad0449f (diff) | |
| download | help2man-409660dcfbadbd05aa5a46cde4fc9a521d539921.tar.gz | |
Use @samp{} in menu description for "--help recommendations"
Diffstat (limited to 'help2man.texi')
| -rw-r--r-- | help2man.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/help2man.texi b/help2man.texi index f4a94c2..372e35b 100644 --- a/help2man.texi +++ b/help2man.texi @@ -77,7 +77,7 @@ and @samp{--version} output of other commands. @menu * Overview:: Overview of @command{help2man}. * Invoking help2man:: How to run @command{help2man}. -* --help recommendations:: Recommended formatting for --help output. +* --help recommendations:: Recommended formatting for @samp{--help} output. * Including text:: Including additional text in the output. * Makefile usage:: Using @command{help2man} with @command{make}. * Localised man pages:: Producing native language manual pages. |