15 lines
707 B
Diff
15 lines
707 B
Diff
diff -ru zsh-5.0.2-orig/Doc/zsh.texi zsh-5.0.2/Doc/zsh.texi
|
|
--- zsh-5.0.2-orig/Doc/zsh.texi 2012-12-21 14:33:06.000000000 -0500
|
|
+++ zsh-5.0.2/Doc/zsh.texi 2013-04-15 18:34:36.660096321 -0400
|
|
@@ -22643,8 +22643,7 @@
|
|
described above.
|
|
|
|
@findex _pick_variant
|
|
-@item @t{_pick_variant} [ @t{-b} @var{builtin-label} ] [ @t{-c}
|
|
-@var{command} ] [ @t{-r} @var{name} ]
|
|
+@item @t{_pick_variant} [ @t{-b} @var{builtin-label} ] [ @t{-c} @var{command} ] [ @t{-r} @var{name} ]
|
|
@itemx @var{label}@t{=}@var{pattern} ... @var{label} [ @var{args} ... ]
|
|
This function is used to resolve situations where a single command name
|
|
requires more than one type of handling, either because it
|
|
Only in zsh-5.0.2/Doc: zsh.texi~
|