Re: [PATCH] doc: use @code{} instead of @samp{@command{}} around 'date %s'

[Jeff Law via Gcc-patches]

On 9/11/20 4:41 PM, Sergei Trofimovich via Gcc-patches wrote:
> From: Sergei Trofimovich <siarh...@google.com>
>
> 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'.

OK

jeff

pEpkey.asc
Description: application/pgp-keys