diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gawk.texi | 4 | ||||
| -rw-r--r-- | doc/gawktexi.in | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 82427bda..80573502 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -25959,10 +25959,12 @@ have to be gone through and turned back into group numbers, so that the rest of the code will work as expected: @example -@c file eg/prog/id.awk @ignore +@c file eg/prog/id.awk +@c endfile @end ignore +@c file eg/prog/id.awk groupnames = getgruser(user) split(groupnames, groups, " ") for (i = 1; i in groups; i++) @{ diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 16914084..5a114349 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -24969,10 +24969,12 @@ have to be gone through and turned back into group numbers, so that the rest of the code will work as expected: @example -@c file eg/prog/id.awk @ignore +@c file eg/prog/id.awk +@c endfile @end ignore +@c file eg/prog/id.awk groupnames = getgruser(user) split(groupnames, groups, " ") for (i = 1; i in groups; i++) @{ |