* 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
[not found] ` <20220704110847.A6EDEC051CC@vcs2.savannah.gnu.org>
@ 2022-07-04 11:34 ` Robert Pluim
2022-07-04 11:49 ` Eli Zaretskii
0 siblings, 1 reply; 3+ messages in thread
From: Robert Pluim @ 2022-07-04 11:34 UTC (permalink / raw)
To: emacs-devel; +Cc: Lars Ingebrigtsen
>>>>> On Mon, 4 Jul 2022 07:08:47 -0400 (EDT), Lars Ingebrigtsen <larsi@gnus.org> said:
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?
Robert
--
^ permalink raw reply [flat|nested] 3+ messages in thread* 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
2022-07-04 11:34 ` 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 Robert Pluim
@ 2022-07-04 11:49 ` Eli Zaretskii
2022-07-04 12:15 ` Robert Pluim
0 siblings, 1 reply; 3+ messages in thread
From: Eli Zaretskii @ 2022-07-04 11:49 UTC (permalink / raw)
To: Robert Pluim; +Cc: emacs-devel, larsi
> 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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* 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
2022-07-04 11:49 ` Eli Zaretskii
@ 2022-07-04 12:15 ` Robert Pluim
0 siblings, 0 replies; 3+ messages in thread
From: Robert Pluim @ 2022-07-04 12:15 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: emacs-devel, larsi
>>>>> On Mon, 04 Jul 2022 14:49:19 +0300, Eli Zaretskii <eliz@gnu.org> said:
>> Should these two go to the release branch?
Eli> They should, because when we release Emacs 28.2, we should update the
Eli> HTML manual as well.
OK, done.
Robert
--
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-07-04 12:15 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
[not found] <165693292619.18176.8044112007451337025@vcs2.savannah.gnu.org>
[not found] ` <20220704110847.A6EDEC051CC@vcs2.savannah.gnu.org>
2022-07-04 11:34 ` 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 Robert Pluim
2022-07-04 11:49 ` Eli Zaretskii
2022-07-04 12:15 ` Robert Pluim
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.