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

From: Eli Zaretskii <[email-masked]>
Date: Thu, 07 Oct 2010 20:19:56 +0200

> From: Jason Rumney <[email-masked]>
> Date: Thu, 07 Oct 2010 22:18:12 +0800
> Cc: Christoph <[email-masked]>, Sean Sieger <[email-masked]>,
> 	[email-masked]
> 
> 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.