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.
It should be doable, I will have a look. How do you split your manual, in general (when split)? -- Pat
