(Setting the time): Correct the capitalization of

`HHMM' in the info-rendering of the texinfo documentation.

diff --git a/doc/sh-utils.texi b/doc/sh-utils.texi
index 99cd71e13b0433d0375146228f5dfefb7e48532e..6b36bd2a0a030e8dd0761a9d4b4c389d629efa1b 100644 (file)
--- a/doc/sh-utils.texi
+++ b/doc/sh-utils.texi
@@ -2202,7 +2202,7 @@ format of the @samp{%c} directive (described below).  Synopses:
 @example
 date [@var{option}]@dots{} [+@var{format}]
 date [-u|--utc|--universal] @c this avoids a newline in the output
-[ @var{MMDDhhmm}[[@var{CC}]@var{YY}][.@var{ss}] ]
+[ MMDDhhmm[[CC]YY][.ss] ]
 @end example
 
 @findex strftime @r{and @code{date}}
@@ -2400,7 +2400,7 @@ zone.
 The argument must consist entirely of digits, which have the following
 meaning:
 
-@table @var
+@table @samp
 @item MM
 month
 @item DD