]> git.ipfire.org Git - thirdparty/coreutils.git/commitdiff
doc: fix footnote formats
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 19 Apr 2022 20:28:15 +0000 (13:28 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 19 Apr 2022 20:40:38 +0000 (13:40 -0700)
* doc/coreutils.texi: Reword footnote, or put it right next
to previous punctuation.

doc/coreutils.texi

index 35fde5289273a1c812345e45095b784375762366..c02ff4ed93919945b6f24b0116150f4e962f861f 100644 (file)
@@ -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