Subject: Re: bug#52400: [PATCH] Don't generate separate autoload file for htmlfontify.el

From: Eli Zaretskii <[email-masked]>
Date: Fri, 10 Dec 2021 10:42:52 +0200

> From: Stefan Kangas <[email-masked]>
> Date: Thu, 9 Dec 2021 18:07:24 -0800
> 
> Is there any need for generating a separate file htmlfontify-loaddefs.el
> file given that it only contains three definitions?  Or should we just
> get rid of it as in the attached?

I wouldn't touch these issues with a 3-mile pole.  They are fragile,
and once they work, having an extra file with 3 definitions is a price
I take every day.  It just isn't worth the effort to awaken these
sleeping dogs.