aboutsummaryrefslogtreecommitdiffstats
path: root/doc/gawk.info
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2014-02-03 21:05:49 +0200
committerArnold D. Robbins <arnold@skeeve.com>2014-02-03 21:05:49 +0200
commit297ddda23ef3be22274481316ac708a389cfd23c (patch)
treed4a625acf7121a6ff726b7643f8ced9ef4ce294c /doc/gawk.info
parentd68ff70e48e7d695231b07f6a55a5d98a77ac4b4 (diff)
parent9c2180330d85a9915b14c5fb5346dbc90b49fe87 (diff)
downloadegawk-297ddda23ef3be22274481316ac708a389cfd23c.tar.gz
egawk-297ddda23ef3be22274481316ac708a389cfd23c.tar.bz2
egawk-297ddda23ef3be22274481316ac708a389cfd23c.zip
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'doc/gawk.info')
-rw-r--r--doc/gawk.info4
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)