bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?


From: Eli Zaretskii
Subject: 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@gmail.com>
> From: Stefan Kangas <stefankangas@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.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]