Re: Customizing html file names
Raymond Toy <[email protected]>
| Newsgroups | gmane.comp.tex.texinfo.general |
|---|---|
| Message-ID | <CAG14z1HgSSj0htP3dEwk=+eRkjyu6NmHf3kVLn_Zywj5avvsVw@mail.gmail.com> |
On Wed, Oct 19, 2022 at 7:04 AM Patrice Dumas <[email protected]> wrote: > Hello, > > A new version, no functional change, but code could be more clear > like that. > Now that texinfo 7.0.1 has been released, I used this new version with maxima. It works great, so thanks for your help in this! > -- Ray