help-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Customizing html file names

From: Raymond Toy
Subject: Re: Customizing html file names
Date: Tue, 27 Dec 2022 09:42:39 -0800


On Wed, Oct 19, 2022 at 7:04 AM Patrice Dumas <pertusus@free.fr> 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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]