--- Begin Message ---
|
Subject: |
29.0.50; admin/notes/tree-sitter/html-manual redundant? |
|
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.
--- End Message ---
--- Begin Message ---
|
Subject: |
Re: bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant? |
|
Date: |
Tue, 5 Sep 2023 16:53:34 -0700 |
Eli Zaretskii <eliz@gnu.org> writes:
> On December 3, 2022 4:20:37 PM GMT+02:00, Stefan Kangas
> <stefankangas@gmail.com> wrote:
>> Eli Zaretskii <eliz@gnu.org> writes:
>>
>> > The intent is to remove that directory before we produce the first pretest.
>>
>> Thanks, so I think we can revisit this later. I'm leaving the bug open
>> as a reminder, but I've also added this to my notes in a place where
>> I'll hopefully see it before preparing the pretest.
>>
>
> Thanks.
The file has been removed; closing.
--- End Message ---