docs: document zsh special array $options.

* doc/autoconf.texi (Special Shell Variables): Add entry for
`options'.

Signed-off-by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>

diff --git a/ChangeLog b/ChangeLog
index 258eb8072813f626ddc70b4acedb5124cf29e243..2c83e2b9ec644a4fae97ac431c7ab5fed2e3ef11 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2010-09-13  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
+       docs: document zsh special array $options.
+       * doc/autoconf.texi (Special Shell Variables): Add entry for
+       `options'.
+
        doc: minor updates.
        * doc/autoconf.texi (Generic Compiler Characteristics): Use
        second argument of @uref consistently, for nicer OpenMP link.

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index e3caa1f612f4a954035fe390c55cbb349fa624fb..f11f1dd82f386a0ca0b1a185a0a5dd6d186dc9c2 100644 (file)
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -16432,6 +16432,11 @@ than 3.1.6-dev-18.  If you are using an older @command{zsh}
 and forget to set @env{NULLCMD},
 your script might be suspended waiting for data on its standard input.
 
+@item options
+@evindex options
+For @command{zsh} 4.3.10, @env{options} is treated as an associative
+array even after @code{emulate sh}, so it should not be used.
+
 @item PATH_SEPARATOR
 @evindex PATH_SEPARATOR
 On DJGPP systems, the @env{PATH_SEPARATOR} environment