Re: Customizing html file names

[Patrice Dumas]

On Sun, Aug 14, 2022 at 07:18:45AM -0700, Raymond Toy wrote:
> For a while maxima has been customizing the html file names that makeinfo
> uses.  Basically, the file names are of the form maxima_nnn.html or
> maxima_toc.html for the table of contents.
> 
> I would like to be able to change this so that the appendices or indices
> don't get a number.  Using the original names makeinfo would have used is
> fine.  I don't know how to do that, so some help would be appreciated.

Here it is, with a version that is an update of the code you shown
adapted to the current API, and the other is a file that does what you
want, if I understood correctly.

-- 
Pat

maxima_file_names_old.pm
Description: Text Data

maxima_file_names.pm
Description: Text Data