From f723794355e9b87645f44fdf3fa65324ca0f3fd1 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Fri, 11 Sep 2020 23:33:01 +0100 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2