diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2020-09-18 13:07:49 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-09-18 13:07:49 +0300 |
commit | d81c953f9b47f56ec477c75e95bd0976822545d1 (patch) | |
tree | 1256cee221da0a8db028d72d9c823435c17b2179 /doc/gawk.texi | |
parent | c24a469a6cddbecda3a14721222e3f68d725bae5 (diff) | |
download | egawk-d81c953f9b47f56ec477c75e95bd0976822545d1.tar.gz egawk-d81c953f9b47f56ec477c75e95bd0976822545d1.tar.bz2 egawk-d81c953f9b47f56ec477c75e95bd0976822545d1.zip |
Minor doc updates.
Diffstat (limited to 'doc/gawk.texi')
-rw-r--r-- | doc/gawk.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 8a2917ee..fdeb01ed 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -25693,7 +25693,7 @@ and then a @code{usage()} function: # Options: # -G Output all group ids as space separated numbers (ruid, euid, groups) # -g Output only the euid as a number -# -n Ouput name instead of the numeric value (with -g/-G/-u) +# -n Output name instead of the numeric value (with -g/-G/-u) # -r Output ruid/rguid instead of effective id # -u Output only effective user id, as a number @@ -26549,7 +26549,7 @@ global variables with a leading capital letter. Doing that would make the program a little easier to follow. @ifset FOR_PRINT -@cindex Kernighan, Brian +@cindex Kernighan, Brian @subentry quotes The logic for choosing which lines to print represents a @dfn{state machine}, which is ``a device which can be in one of a set number of stable conditions depending on its previous condition and on the @@ -28671,7 +28671,7 @@ Fix this problem. without relying on @code{ord()} and @code{chr()}.) @item -@cindex Kernighan, Brian +@cindex Kernighan, Brian @subentry quotes In @file{uniq.awk} (@pxref{Uniq Program}, the logic for choosing which lines to print represents a @dfn{state machine}, which is ``a device which can be in one of a set number of stable |