On Thu, Oct 17, 2024 at 07:24:26PM +0100, Gavin Smith wrote:
> On Wed, Oct 16, 2024 at 12:50:01AM +0200, Patrice Dumas wrote:
> > On Tue, Oct 15, 2024 at 12:31:07PM +0100, Gavin Smith wrote:
> > > On Mon, Oct 14, 2024 at 11:16:58PM +0200, Patrice Dumas wrote:
> > > > This looks good to me, it is qu
On Thu, Oct 17, 2024 at 07:24:26PM +0100, Gavin Smith wrote:
> On Wed, Oct 16, 2024 at 12:50:01AM +0200, Patrice Dumas wrote:
> > On Tue, Oct 15, 2024 at 12:31:07PM +0100, Gavin Smith wrote:
> > > On Mon, Oct 14, 2024 at 11:16:58PM +0200, Patrice Dumas wrote:
> > > > This looks good to me, it is qu
On Wed, Oct 16, 2024 at 12:50:01AM +0200, Patrice Dumas wrote:
> On Tue, Oct 15, 2024 at 12:31:07PM +0100, Gavin Smith wrote:
> > On Mon, Oct 14, 2024 at 11:16:58PM +0200, Patrice Dumas wrote:
> > > This looks good to me, it is quite simple. Maybe the number of buckets
> > > could be set based on
On Thu, Oct 17, 2024 at 01:04:48PM +0100, Gavin Smith wrote:
> Now there are only 3 files installed under DATADIR/texinfo:
>
> texinfo/texindex.awk
> texinfo/htmlxref.cnf
> texinfo/texinfo.dtd
>
> texinfo.dtd is coupled to the exact version of texi2any that is installed
> although texi2any does n
> This is quite unrelated, but I still think that we should split current
> DATADIR/texinfo content in two, add DATADIR/texi2any for Perl modules,
> js files, Perl external modules, ext and init files shipped with
> texi2any. That way we can use DATADIR/texinfo only for files that
> could, at leas