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/gawktexi.in | |
parent | c24a469a6cddbecda3a14721222e3f68d725bae5 (diff) | |
download | egawk-d81c953f9b47f56ec477c75e95bd0976822545d1.tar.gz egawk-d81c953f9b47f56ec477c75e95bd0976822545d1.tar.bz2 egawk-d81c953f9b47f56ec477c75e95bd0976822545d1.zip |
Minor doc updates.
Diffstat (limited to 'doc/gawktexi.in')
-rw-r--r-- | doc/gawktexi.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index cc249fdf..1f639334 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -24703,7 +24703,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 @@ -25559,7 +25559,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 @@ -27681,7 +27681,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 |