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~