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

From: Eli Zaretskii <[email-masked]>
Date: Tue, 21 Jul 2009 06:12:13 +0300

> From: Chong Yidong <[email-masked]>
> Cc: Glenn Morris <[email-masked]>, [email-masked]
> 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.