Re: Texinfo 7.0 changed the name of HTML output directory

[Eli Zaretskii]

> Date: Sun, 25 Aug 2024 17:26:59 +0200
> From: Patrice Dumas <pertusus@free.fr>
> Cc: GavinSmith0123@gmail.com, bug-texinfo@gnu.org
> 
> On Sun, Aug 25, 2024 at 05:27:19PM +0300, Eli Zaretskii wrote:
> > As you discuss the various changes and improvements to this, please
> > consider one additional aspect: it is quite reasonable for a project
> > to have cross-references to other manuals, which are not necessarily
> > of interest for the GNU Project, at least not enough to have that
> > referent manual in htmlxref.cnf.
> 
> I think that, for now, we should have all the manuals in htmlxref.cnf
> not only GNU manuals.

This might be too much work for you, for no good reason.  There are
gazillions of manuals out there, and having all of them in that file,
let alone keeping it up to date, is not necessarily the business of
the Texinfo project.  By contrast, leaving it to individual projects
to take care of references only they need makes a lot of sense to me.

But you are the Texinfo maintainers, so it's your call.

> I view the htmlxref.cnf file as a way to
> translate any manual identifier (the manual name right now) as a
> ressource located in the World Wide Web (that can be used in a
> cross-reference).  A bit like what doi.org does but restricted to the
> Texinfo HTML manuals world

Is doi.org run by 2 volunteers, or does it maybe have a slightly
larger staff?

> and have the non GNU manuals be delagated somehow, but for now, as long
> as we do not have such an structure, I think that it is better if we add
> all the known Texinfo HTML manuals.

Why do you assume the referent manual must necessarily be a Texinfo
manual?  That is completely not guaranteed.  It could be produced by
Sphinx, for example, or some other HTML-authoring tool in use out
there.

Anyway, I only wanted to raise an issue that I noticed.  It is up to
you and Gavin to decide what to do with it.