Re: [Maxima-discuss] Updating build_html.sh to use makeinfo?

[Gunter K. <gu...@pe...>]

On 16.01.19 01:14, Raymond Toy wrote:
>>>>>> "Gunter" == Gunter Königsmann <gu...@pe...> writes:
>     Gunter> Let me know if this works better.
>
>
>     Gunter> It still was broken for my computer:
>
>     Gunter> o On my computer the html files begin with maxima_1.html, not with
>     Gunter> maxima_0.html
>
> Weird.  What version of makeinfo?  I'm using 6.5 on all the machines
> where I build maxima.  (No particular reason; that's what was
> installed.)  Maybe that's the reason?  Seems odd that that would ever
> change between versions.

Even worse: my version (the one Ubuntu Disco will most probably come
with) identifies itself as "6.5", too.

Wouldn't be the 1st time that a linux distribution ships a
heavily-patched version of a tool, though. Or that a tool can run in two
modi: One default one and one that is compatible to some weird standard.

>     Gunter> o The table of contents is not formatted as <h2> for me
>
> How is it formatted?
On my computer the caption seems to be formatted as <title>.
>
>     Gunter> o And it isn't in one of the maxima_*.html files, neither
>
> Then were is it?  You do have one somewhere, right?

It is in the file maxima_toc.html. I have uploaded the html I get to
https://www.peterpall.de/maxima/html.tgz

Kind regards,

    Gunter.