projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8c4b66) | patch
doc: use @code{} instead of @samp{@command{}} around 'date %s'
authorSergei Trofimovich <siarheit@google.com>
Fri, 11 Sep 2020 22:33:01 +0000 (23:33 +0100)
committerSergei Trofimovich <siarheit@google.com>
Thu, 17 Sep 2020 06:47:11 +0000 (07:47 +0100)
commitf723794355e9b87645f44fdf3fa65324ca0f3fd1
tree9f9f8d4607f2058e87c040308cc3d2e3bd70b244tree
parenta8c4b66a41fa805757f5943bd41690243365bccdcommit | diff
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'.
gcc/doc/cppenv.texi diff | blob | history