GNU bug report logs - #59789
29.0.50; admin/notes/tree-sitter/html-manual redundant?

Previous Next

Full log

Message #11 received at 59789 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Kangas <stefankangas <at> gmail.com>
Cc: casouri <at> gmail.com, 59789 <at> debbugs.gnu.org
Subject: Re: bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
Date: Sat, 03 Dec 2022 09:12:18 +0200

> Cc: Yuan Fu <casouri <at> gmail.com>
> From: Stefan Kangas <stefankangas <at> gmail.com>
> Date: Fri, 2 Dec 2022 16:09:20 -0800
> 
> Severity: wishlist
> 
> What's the purpose of the admin/notes/tree-sitter/html-manual directory?
> The build-manual.sh script seems to just make an HTML export of the
> elisp manual, and then copying a few HTML files in place.
> 
> I guess it's fine to provide that script, but doesn't it seem redundant
> to keep those HTML files updated in git?  Is the idea to ship them with
> our release tarball?  We don't do that for other features.

The intent is to remove that directory before we produce the first pretest.

Previous Next

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