Re: Texinfo 7.0 changed the name of HTML output directory

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Sun, 25 Aug 2024 11:32:01 +0100
> Cc: bug-texinfo@gnu.org
> 
> > This is all quite annoying, to tell the truth.  The only practical
> > alternative seems to be to generate the HTML manuals using the
> > system-wide htmlxref.cnf file, and then use our own script to edit all
> > the instances of "MANUAL_html/" to say "MANUAL/" instead, which
> > basically means we don't use any of the facilities provided by Texinfo
> > for this purpose.  Or am I missing something?
> 
> I don't know why you can't update the system-wide htmlxref.cnf file.  I
> imagine there can't be that many people building and uploading the
> Emacs web manuals.

I'll need to talk to the other Emacs co-maintainers.  I don't know
what kind of control they have over the systems where they produce the
HTML manuals when a new version is released.  I, for example, cannot
modify system-wide files on the GNU server where I do these chores, so
I'd need to install Texinfo under my home directory if we decide to
use an updated htmlxref.cnf file.  In any case, we will need to
coordinate between us to share any changes in that file we may need to
do in the future, and that is an error-prone practice.

My hope was for a clean and reliable solution: include htmlxref.cnf in
the Emacs repository and take care of keeping it up to date at all
times.  Unfortunately, it doesn't really work cleanly, as concluded by
this discussion.  Too bad.

Thanks for the other suggestions and comments, I think at least the
current situation is clear now.