bug#56491: closed ([PATCH] Don't create file rmail-loaddefs.el)

[GNU bug Tracking System]

Your message dated Mon, 11 Jul 2022 05:10:00 -0700
with message-id 
<CADwFkmn_CzPHDA=wZM1Oa0ksC31re2sSOG5_ZVBGnD=Jv=+tCA@mail.gmail.com>
and subject line Re: bug#56491: [PATCH] Don't create file rmail-loaddefs.el
has caused the debbugs.gnu.org bug report #56491,
regarding [PATCH] Don't create file rmail-loaddefs.el
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56491: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56491
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Don't create file rmail-loaddefs.el Date: Sun, 10 Jul 2022 17:28:58 -0700

Severity: wishlist

It seems like the rmail-loaddefs.el file is not really used for
anything?  Maybe we could just remove it, as in the attached.

0001-Don-t-create-unused-file-rmail-loaddefs.el.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56491: [PATCH] Don't create file rmail-loaddefs.el
>
>
>
>
> Date: 
>
> Mon, 11 Jul 2022 05:10:00 -0700
>
>
>
>
> Lars Ingebrigtsen <larsi@gnus.org> writes:
>
> > the correct fix here is to just remove
> >
> > ;; Local Variables:
> > ;; generated-autoload-file: "rmail-loaddefs.el"
> > ;; End:
> >
> > but leave the ;;;###autoload cookies as is.
>
> OK, makes sense.  Now done on master (commit d9732425a6).
>
>
> --- End Message ---