diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 9714f1a4..8c40ab7f 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -34404,7 +34404,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. |