* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
@ 2022-12-03 0:09 Stefan Kangas
2022-12-03 0:48 ` Yuan Fu
` (2 more replies)
0 siblings, 3 replies; 8+ messages in thread
From: Stefan Kangas @ 2022-12-03 0:09 UTC (permalink / raw)
To: 59789; +Cc: Yuan Fu
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.
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 0:09 bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant? Stefan Kangas
@ 2022-12-03 0:48 ` Yuan Fu
2022-12-04 19:23 ` Juri Linkov
2022-12-03 7:12 ` Eli Zaretskii
2022-12-07 0:12 ` Yuan Fu
2 siblings, 1 reply; 8+ messages in thread
From: Yuan Fu @ 2022-12-03 0:48 UTC (permalink / raw)
To: Stefan Kangas; +Cc: 59789
> On Dec 2, 2022, at 4:09 PM, Stefan Kangas <stefankangas@gmail.com> wrote:
>
> 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.
>
That’s true, I just wanted to make it easy for the reader of the starter guide. I wouldn’t mind if we remove it and keep the build script.
Yuan
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 0:09 bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant? Stefan Kangas
2022-12-03 0:48 ` Yuan Fu
@ 2022-12-03 7:12 ` Eli Zaretskii
2022-12-03 14:20 ` Stefan Kangas
2022-12-07 0:12 ` Yuan Fu
2 siblings, 1 reply; 8+ messages in thread
From: Eli Zaretskii @ 2022-12-03 7:12 UTC (permalink / raw)
To: Stefan Kangas; +Cc: casouri, 59789
> 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.
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 7:12 ` Eli Zaretskii
@ 2022-12-03 14:20 ` Stefan Kangas
2022-12-03 14:39 ` Eli Zaretskii
0 siblings, 1 reply; 8+ messages in thread
From: Stefan Kangas @ 2022-12-03 14:20 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: casouri, 59789
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.
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 14:20 ` Stefan Kangas
@ 2022-12-03 14:39 ` Eli Zaretskii
2023-09-05 23:53 ` Stefan Kangas
0 siblings, 1 reply; 8+ messages in thread
From: Eli Zaretskii @ 2022-12-03 14:39 UTC (permalink / raw)
To: Stefan Kangas; +Cc: casouri, 59789
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.
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 0:48 ` Yuan Fu
@ 2022-12-04 19:23 ` Juri Linkov
0 siblings, 0 replies; 8+ messages in thread
From: Juri Linkov @ 2022-12-04 19:23 UTC (permalink / raw)
To: Yuan Fu; +Cc: 59789, Stefan Kangas
> I wouldn’t mind if we remove it and keep the build script.
When I tried to use the build script from admin/notes/tree-sitter/build-module
I noticed that it fails to build because it's out of sync
(misses necessary files) from https://github.com/casouri/tree-sitter-module
that works nicely.
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 0:09 bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant? Stefan Kangas
2022-12-03 0:48 ` Yuan Fu
2022-12-03 7:12 ` Eli Zaretskii
@ 2022-12-07 0:12 ` Yuan Fu
2 siblings, 0 replies; 8+ messages in thread
From: Yuan Fu @ 2022-12-07 0:12 UTC (permalink / raw)
To: Juri Linkov; +Cc: 59789, stefankangas
Juri Linkov <juri@linkov.net> writes:
>> I wouldn’t mind if we remove it and keep the build script.
>
> When I tried to use the build script from admin/notes/tree-sitter/build-module
> I noticed that it fails to build because it's out of sync
> (misses necessary files) from https://github.com/casouri/tree-sitter-module
> that works nicely.
I worked on it a bit and now it should be good.
Yuan
^ permalink raw reply [flat|nested] 8+ messages in thread
* bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant?
2022-12-03 14:39 ` Eli Zaretskii
@ 2023-09-05 23:53 ` Stefan Kangas
0 siblings, 0 replies; 8+ messages in thread
From: Stefan Kangas @ 2023-09-05 23:53 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: casouri, 59789-done
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.
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2023-09-05 23:53 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-03 0:09 bug#59789: 29.0.50; admin/notes/tree-sitter/html-manual redundant? Stefan Kangas
2022-12-03 0:48 ` Yuan Fu
2022-12-04 19:23 ` Juri Linkov
2022-12-03 7:12 ` Eli Zaretskii
2022-12-03 14:20 ` Stefan Kangas
2022-12-03 14:39 ` Eli Zaretskii
2023-09-05 23:53 ` Stefan Kangas
2022-12-07 0:12 ` Yuan Fu
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).