Re: [PATCH 07/32] printf.3: wfix

Hi Michael,


On 8/7/21 11:34 PM, Michael Kerrisk (man-pages) wrote:

Hello Alex and Sergey,

On 7/28/21 10:19 PM, Alejandro Colomar wrote:

quoted

Reported-by: Sergey Petrakov <redacted>
Signed-off-by: Alejandro Colomar <redacted>
---
 man3/printf.3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/man3/printf.3 b/man3/printf.3
index fcc3bd6f3..1074626e1 100644
--- a/man3/printf.3
+++ b/man3/printf.3

@@ -115,7 +115,7 @@ is the same as
 except that it outputs to a file descriptor,
 .IR fd ,
 instead of to a
-.I stdio
+.I FILE
 stream.
 .PP
 The functions

Why this change? What is wrong with the existing text?

I seem to remember that my thoughts when I saw the report were:

stdio is marked in italics, which usually would mean a type (by the
context), but it's not a type, so probably the author meant FILE and
wrote stdio as a typo.  But it could also be that the author meant '.BR
stdio (7)', and it's only a ffix.

What do you think?

Thanks,

Alex

-- 
Alejandro Colomar
Linux man-pages comaintainer; https://www.kernel.org/doc/man-pages/
http://www.alejandro-colomar.es/