help-texinfo
[Top][All Lists]

## Re: Customizing html file names

 From: Raymond Toy Subject: Re: Customizing html file names Date: Sun, 14 Aug 2022 08:25:14 -0700

On Sun, Aug 14, 2022 at 7:59 AM Patrice Dumas <pertusus@free.fr> wrote:
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
>
> 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.

Thanks!

How do you split your manual, in general (when split)?

The command is

TEXIOPT="--html -c OUTPUT_ENCODING_NAME=UTF-8 --force -e 10000 --document-lang=$language -I . -I$languagedir -I ../.. --css-include=/home/toy/src/sourceforge/maxima-code/doc/info/manual.css -I /home/toy/src/sourceforge/maxima-code/doc/info/figures --init-file $texiinitfile --set-customization-variable HTML_MATH=mathjax" makeinfo --split=chapter --no-node-files --output="$languagedestdir" \$TEXIOPT maxima.texi

--
Pat

--
Ray