bug#7167: 23.2; w32-shell-execute doc

[Eli Zaretskii]

> From: Jason Rumney <jasonr@gnu.org>
> Date: Thu, 07 Oct 2010 22:18:12 +0800
> Cc: Christoph <cschol2112@googlemail.com>, Sean Sieger 
> <sean.sieger@gmail.com>,
>       7167@debbugs.gnu.org
> 
> It sounds like the problem could be a stale DOC file. Sean, did you run
> make install after building, or did you just copy the exe files into the
> bin directory by hand?

This is unlikely to be the problem: my binary was built in a fresh
directory and "make install"ed, and it also doesn't have this function
documented.