bug#37527: [PATCH] Install C source code for for debugging help

[Eli Zaretskii]

> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: Eli Zaretskii <eliz@gnu.org>,  stefan@marxist.se,  rgm@gnu.org,
>   37527@debbugs.gnu.org
> Date: Sun, 26 Jan 2020 21:06:45 +0100
> 
> Paul Eggert <eggert@cs.ucla.edu> writes:
> 
> > Distributors will follow our lead if we install the source in a
> > well-specified place.
> 
> Have you asked them?

AFAIU, distributors already have their solution for this -- they
package the sources with the debug info distribution.  Andreas
mentioned that in the discussion we had back then, but his suggestion
was ignored, which I think is a mistake.