Re: Texinfo 7.0 changed the name of HTML output directory

[Gavin Smith]

On Mon, Aug 26, 2024 at 09:02:37AM +0200, Patrice Dumas wrote:
> On Sun, Aug 25, 2024 at 06:57:42PM +0100, Gavin Smith wrote:
> > On Sun, Aug 25, 2024 at 02:15:17PM +0200, Patrice Dumas wrote:
> > > On Sun, Aug 25, 2024 at 11:32:01AM +0100, Gavin Smith wrote:
> > > > We should at least support the "XDG Base Directory Specification".
> 
> I see three possibilities for the locations that do not already follow
> the XDG Specification, locations like /etc/texinfo or /etc/texi2any, and
> locations like $HOME/.texinfo or $HOME/.texi2any
> 
> 1) remove them as possibilities completly and mark in the documentation
>   that the new directory have to be used
> 2) keep them as possibilities but mark them deprecated in the
>   documentation, add warnings in the code and keep them about 5 years
> 3) keep them and maintain them
> 
> I would lean towards 2), otherwise there would be too many directories
> searched for.
> 
> Opinions?

In the case of htmlxref.cnf files I doubt that files other than the
default have been much used and so we should support both locations
in the immediate term, but possibly remove it later (option 2).

For the .infokey file for the info browser, I expect this will be
supported in its original location indefinitely.