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

[Raymond T. <toy...@gm...>]

>>>>> "Jaime" == Jaime Villate <vi...@fe...> writes:

    Jaime> On 09/01/19 16:03, Raymond Toy wrote:
    >>>>>>> "Elias" == Elias Mårtenson <lo...@gm...> writes:
    Elias> As the quality of my texinfo parser improves (it's still
    Elias> not full-featured), I'm already at a point where I could
    Elias> very easily be able to write a program that outputs HTML
    Elias> from the internal Sexp format.
    >>
    >> While I think that's really cool, I'm kind of opposed to it.
    >> We still produce info files and a pdf doc.  If a different
    >> parser is used, we could get subtly different outputs between
    >> the two.  Then it's a never ending chase of making your parser
    >> do the same thing as makeinfo would do.

    Jaime> I do like the sexp-format that Elias is developing. It
    Jaime> could also be used to generate LaTeX, letting us get a
    Jaime> better PDF version.

I think it's really cool.  But it means yet another thing we have to
maintain with our already limited manpower.

    Jaime> The PDF and HTML produced with texinfo are not very
    Jaime> good. And if you add the sed, python and perl scripts we
    Jaime> currently use to try to make the HTML better, the process
    Jaime> becomes very messy.

Also, what, specifically, is wrong with the PDF document?  The HTML
doc isn't great, but not horrible.

--
Ray