mirror of
git://git.sv.gnu.org/autoconf
synced 2025-01-18 10:45:15 +08:00
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>
This commit is contained in:
parent
cb093133b5
commit
23a2c336ad
@ -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.
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user