bug#5336: DOC file is no longer arch-independent

[Eli Zaretskii]

> Cc: 5336@debbugs.gnu.org
> From: Glenn Morris <rgm@gnu.org>
> Date: Sat, 23 Jan 2010 18:29:05 -0500
> 
> Eli Zaretskii wrote:
> 
> > 100% agreement.  This problem is much more serious than the bug we
> > fixed by introducing it.
> 
> What bug was that? You may be thinking of a different issue.

It's possible.  I vaguely recall that the change which introduced the
current problem was meant to solve some issue with the build process.