diff options
Diffstat (limited to 'doc/gawk.info')
| -rw-r--r-- | doc/gawk.info | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gawk.info b/doc/gawk.info index 4046c106..a823cdbe 100644 --- a/doc/gawk.info +++ b/doc/gawk.info @@ -30019,7 +30019,6 @@ Index * - (hyphen), in bracket expressions: Bracket Expressions. (line 17) * --assign option: Options. (line 46) * --bignum option: Options. (line 201) -* --c option: Options. (line 95) * --characters-as-bytes option: Options. (line 82) * --copyright option: Options. (line 102) * --debug option: Options. (line 122) @@ -30038,7 +30037,6 @@ Index * --gen-pot option: Options. (line 161) * --help option: Options. (line 168) * --include option: Options. (line 32) -* --L option: Options. (line 288) * --lint option <1>: Options. (line 182) * --lint option: Command Line. (line 20) * --lint-old option: Options. (line 288) @@ -30069,6 +30067,7 @@ Index (line 35) * -b option: Options. (line 82) * -C option: Options. (line 102) +* -c option: Options. (line 95) * -D option: Options. (line 122) * -d option: Options. (line 107) * -E option: Options. (line 139) @@ -30083,6 +30082,7 @@ Index * -g option: Options. (line 161) * -h option: Options. (line 168) * -i option: Options. (line 32) +* -L option: Options. (line 288) * -l option: Options. (line 173) * -M option: Options. (line 201) * -N option: Options. (line 215) |