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

2020-09-16 Thread Jeff Law via Gcc-patches
On 9/11/20 4:41 PM, Sergei Trofimovich via Gcc-patches wrote: > From: Sergei Trofimovich > > 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

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

2020-09-11 Thread Sergei Trofimovich via Gcc-patches
From: Sergei Trofimovich 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