Re: Customizing html file names
Raymond Toy <[email protected]>
| Newsgroups | gmane.comp.tex.texinfo.general |
|---|---|
| Message-ID | <CAG14z1Hx0OJJhNvyOEHAzeKy_VEe1-Q8rJe+iZSkiJEPRVEWPA@mail.gmail.com> |
On Sun, Aug 14, 2022 at 7:59 AM Patrice Dumas <[email protected]> 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 > > 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. > 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