bug#3888: Some variables get the wrong, platform-specific, documentation

[Eli Zaretskii]

> From: Chong Yidong <cyd@stupidchicken.com>
> Cc: Glenn Morris <rgm@gnu.org>, 3888@emacsbugs.donarmstrong.com
> Date: Mon, 20 Jul 2009 16:25:38 -0400
> 
> I think, as a temporary solution, we should make the docstrings of all
> the affected functions and variables the same.

This would also need a change in make-docfile, to warn about
duplicate, but different doc strings for the same symbol.  Otherwise,
the doc strings will diverge again after a while.