date works when given no format. Reported by Ole Laursen.
@cindex time, printing or setting
@cindex printing the current time
-@code{date} with no arguments prints the current time and date, in the
-format of the @samp{%c} directive (described below). Synopses:
+Synopses:
@example
date [@var{option}]@dots{} [+@var{format}]
[ MMDDhhmm[[CC]YY][.ss] ]
@end example
+Invoking @code{date} with no arguments is equivalent to invoking
+@samp{date '+%a %b %e %H:%M:%S %Z %Y'}.
+
@findex strftime @r{and @code{date}}
@cindex time formats
@cindex formatting times