Re: Customizing html file names

Thanks for the new version.  I assume this will probably be the API for the
next texinfo release?  (I tried to require at least 6.8, but some people
still want to be able to build the maxima docs with version 5.1 because
that's what is installed by default on some Ubuntu long-term release.  I
think 5.1 mostly works, but I don't have anything so old.)

This also begs the question:  will the current version that I posted
originally  still continue to work?  (I guess I can try that out myself....)

On Mon, Oct 10, 2022 at 12:40 AM Patrice Dumas <[email protected]> wrote:

> Hello,
>
> The API changed again, for the new API, the attached init file should be
> ok.
>
> --
> Pat
>


-- 
Ray