[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Customizing html file names
From: |
Patrice Dumas |
Subject: |
Re: Customizing html file names |
Date: |
Sun, 14 Aug 2022 18:46:07 +0200 |
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.
A new version, with a proper use of the API for the document_name, 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