Re: Files from gnulib

[Stefan Monnier]

>> Here's a compromise:
>> - let's do the renames that need to be done (they're really not
>> problematic, AFAICT).
>> - let's try and get this "djtar -n emacs-25.chg emacs-25.tgz" to work
>> reliably, e.g. by auto-building the emacs-25.chg file as part of
>> make-dist, so there's no way for that file to be "missing renames".
> It might also be a good idea to add an alternate-load-library-alist variable
> which require and load could consult when attempts to load a file fail.
> That would also be useful on other platforms for the CEDET rename and
> similar cases.

Indeed.  This could even be auto-filled by autoload.el if we add support
in it for entries like:

   ;;;###autoload
   (provide 'foo)


-- Stefan