From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 19 Apr 2022 20:28:15 +0000 (-0700)
Subject: doc: fix footnote formats
X-Git-Tag: v9.2~205
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0de24e53fe8f8b7bc0b0b32444fa6fa447570e3;p=thirdparty%2Fcoreutils.git

doc: fix footnote formats

* doc/coreutils.texi: Reword footnote, or put it right next
to previous punctuation.
---

diff --git a/doc/coreutils.texi b/doc/coreutils.texi
index 35fde52892..c02ff4ed93 100644
--- a/doc/coreutils.texi
+++ b/doc/coreutils.texi
@@ -1215,8 +1215,8 @@ Since the @var{user} and @var{group} arguments to these commands
 may be specified as names or numeric IDs, there is an
 apparent ambiguity.
 What if a user or group @emph{name} is a string of digits?
-@footnote{Using a number as a user name is common in some environments.}
 Should the command interpret it as a user name or as an ID@?
+(Using a number as a user name is common in some environments.)
 POSIX requires that these commands
 first attempt to resolve the specified string as a name, and
 only once that fails, then try to interpret it as an ID@.
@@ -6601,9 +6601,9 @@ $ join -t, -j3    file1.sorted file2.sorted > file3
 @end example
 
 @noindent
-To specify a tab (@sc{ascii} 0x09) character instead of whitespace, use
-@footnote{the @code{$'\t'} is supported in most modern shells.
-For older shells, use a literal tab}:
+To specify a tab (@sc{ascii} 0x09) character instead of whitespace,
+use:@footnote{the @code{$'\t'} is supported in most modern shells.
+For older shells, use a literal tab.}
 
 @example
 @group