From: Sergei Trofimovich Date: Fri, 11 Sep 2020 22:33:01 +0000 (+0100) Subject: doc: use @code{} instead of @samp{@command{}} around 'date %s' X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f723794355e9b87645f44fdf3fa65324ca0f3fd1;p=gcc.git doc: use @code{} instead of @samp{@command{}} around 'date %s' Before the change 'man gcc' rendered "SOURCE_DATE_EPOCH" section as: ... the output of @command{date +%s} on GNU/Linux ... After the change it renders as: ... the output of "date +%s" on GNU/Linux ... gcc/ChangeLog: * doc/cppenv.texi: Use @code{} instead of @samp{@command{}} around 'date %s'. --- diff --git a/gcc/doc/cppenv.texi b/gcc/doc/cppenv.texi index 123df5c464c..e1e408a2974 100644 --- a/gcc/doc/cppenv.texi +++ b/gcc/doc/cppenv.texi @@ -89,7 +89,7 @@ reproducible. The value of @env{SOURCE_DATE_EPOCH} must be a UNIX timestamp, defined as the number of seconds (excluding leap seconds) since 01 Jan 1970 00:00:00 represented in ASCII; identical to the output of -@samp{@command{date +%s}} on GNU/Linux and other systems that support the +@code{date +%s} on GNU/Linux and other systems that support the @code{%s} extension in the @code{date} command. The value should be a known timestamp such as the last modification