[help-texinfo] janix-texinfo.css update

2013-03-11 Thread Jason Massey
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

[help-texinfo] index.html differences in texi2any/texi2html

2013-03-11 Thread Joel Sherrill
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

Re: [help-texinfo] index.html differences in texi2any/texi2html

2013-03-11 Thread Patrice Dumas
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 know