diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 42d103e5..41ac9964 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -35313,7 +35313,7 @@ function to tell if the input file is a terminal. (Hint: this function is usually expensive to call; try to call it just once.) The content of the prompt should come from a variable settable by @command{awk}-level code. -You can write the prompt to stanard error. However, +You can write the prompt to standard error. However, for best results, open a new file descriptor (or file pointer) on @file{/dev/tty} and print the prompt there, in case standard error has been redirected. |