Re: HTML info

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Juri Linkov <juri@linkov.net>,  Eli Zaretskii <eliz@gnu.org>,
>   emacs-devel@gnu.org,  Stefan Monnier <monnier@iro.umontreal.ca>,
>   tsdh@gnu.org
> Date: Sun, 26 Dec 2021 12:48:08 +0100
> 
> Yeah, the menus here look a lot better:
> 
>   https://www.gnu.org/software/emacs/manual/html_mono/elisp.html
> 
> Where did that conversion to HTML come from?

>From admin/make-manuals, which invokes a function in admin.el.