On Mon, Mar 11, 2013 at 04:43:55PM -0500, Joel Sherrill wrote:
> Hi
>
> I am just trying to get them reasonably close. I don't care about
> dead on matching - just no stupid duplication or too many hacks.
> I am happy learning to live with slightly different and more standard
> output. :)
I don't
Hi
I am sure once again, this is something easy for you all
but beyond my understanding of texinfo. There are
differences in the generated index.html files per manual.
Some of this may be because of our init files being not
quite right.
I am just trying to get them reasonably close. I don't care
Now that texi2any is the single, standard tool for HTML-generation with
Texinfo, I've made some changes to janix-texinfo.css in view of this fact
(and that development of texi2html is halted).
https://github.com/Janixman/janix-texinfo.css
***
The Texinfo 5.0 manual was built using the following