diff options
author | Sergei Trofimovich <siarheit@google.com> | 2020-09-11 23:33:01 +0100 |
---|---|---|
committer | Sergei Trofimovich <siarheit@google.com> | 2020-09-17 07:47:11 +0100 |
commit | f723794355e9b87645f44fdf3fa65324ca0f3fd1 (patch) | |
tree | 9f9f8d4607f2058e87c040308cc3d2e3bd70b244 | |
parent | a8c4b66a41fa805757f5943bd41690243365bccd (diff) | |
download | gcc-f723794355e9b87645f44fdf3fa65324ca0f3fd1.zip gcc-f723794355e9b87645f44fdf3fa65324ca0f3fd1.tar.gz gcc-f723794355e9b87645f44fdf3fa65324ca0f3fd1.tar.bz2 |
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'.
-rw-r--r-- | gcc/doc/cppenv.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/cppenv.texi b/gcc/doc/cppenv.texi index 123df5c..e1e408a 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 |