Re: Texinfo 7.0 changed the name of HTML output directory

[Patrice Dumas]

On Sun, Aug 25, 2024 at 11:32:01AM +0100, Gavin Smith wrote:
> 
> This is a hack but may be the best way at the moment.  I think we
> should have a better way of supporting this if there isn't one already.
> We should at least support the "XDG Base Directory Specification".

I can work on that.  Should it be done before or after the release?

I think that adding the manual source directory could be done before the
release as it is not a big change.

-- 
Pat