[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master b778e71af7 3/5: Preserve <title> in the Emacs manuals, master
From: |
Eli Zaretskii |
Subject: |
Re: master b778e71af7 3/5: Preserve <title> in the Emacs manuals, master e0e3f2b672 2/5: Don't bug out in manual-html-fix-index-2 on newer makeinfo versions |
Date: |
Mon, 04 Jul 2022 14:49:19 +0300 |
> From: Robert Pluim <rpluim@gmail.com>
> Cc: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Mon, 04 Jul 2022 13:34:32 +0200
>
> Lars> branch: master
> Lars> commit b778e71af7ca8c59917334b4bb1b34cdb52faca9
> Lars> Author: Lars Ingebrigtsen <larsi@gnus.org>
> Lars> Commit: Lars Ingebrigtsen <larsi@gnus.org>
>
> Lars> Preserve <title> in the Emacs manuals
>
> Lars> * admin/admin.el (manual-html-fix-headers): Preserve the <title>
> Lars> element (bug#48334).
> >>>>> On Mon, 4 Jul 2022 07:08:47 -0400 (EDT), Lars Ingebrigtsen
> >>>>> <larsi@gnus.org> said:
>
> Lars> branch: master
> Lars> commit e0e3f2b672bc42da52ac9c7596c7560a88684651
> Lars> Author: Lars Ingebrigtsen <larsi@gnus.org>
> Lars> Commit: Lars Ingebrigtsen <larsi@gnus.org>
>
> Lars> Don't bug out in manual-html-fix-index-2 on newer makeinfo
> versions
>
> Lars> * admin/admin.el (manual-html-fix-index-2): Don't bug out if the
> Lars> makeinfo version doesn't include <ul>.
>
> Should these two go to the release branch?
They should, because when we release Emacs 28.2, we should update the
HTML manual as well.