GNU bug report logs - #72761
issues with Flymake online documentation

Previous Next

Full log

Message #40 received at 72761-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Lester Longley <lester <at> ieee.org>
Cc: 72761-done <at> debbugs.gnu.org
Subject: Re: bug#72761: issues with Flymake online documentation
Date: Sat, 31 Aug 2024 12:46:54 +0300

> From: Lester Longley <lester <at> ieee.org>
> Date: Sun, 25 Aug 2024 10:06:02 -0400
> Cc: 72761 <at> debbugs.gnu.org
> 
> Hi Eli,
> 
> On Sun, Aug 25, 2024 at 8:48 AM Eli Zaretskii <eliz <at> gnu.org> wrote:
> > Thanks, I've now fixed the relevant HTML page, and also modified the
> > script we use to produce HTML manuals to not perform this kind of
> > "editing" of HTML produced by makeinfo.
> 
> Thank you very much.  The Flymake manuals work fine now, as regards both issues.
> 
> (And the update you made to "admin/admin.el" was instructive, for me,
> re: the manual-generation infrastructure.)

Thanks, I'm therefore closing this bug.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.