1 files changed, 1 insertions, 3 deletions
diff --git a/doc/gawk.1 b/doc/gawk.1
index 31fcef1f..6af5ffe2 100644
--- a/doc/gawk.1
+++ b/doc/gawk.1
@@ -2212,9 +2212,7 @@ Flush any buffers associated with the open output file or pipe
 .IR file .
 If
 .I file
-is missing, then flush standard output.
-If
-.I file
+is missing or if it
 is the null string,
 then flush all open output files and pipes.
 .PP