Re: Texinfo 7.0 changed the name of HTML output directory

[Patrice Dumas]

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?

-- 
Pat