Re: Texinfo 7.0 changed the name of HTML output directory

[Gavin Smith]

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:
> > 
> > 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?

It can be done for 7.2.  Thanks for working on this.

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