texi2html Generated HTML now Online

Joel Sherrill joel.sherrill at OARcorp.com
Tue Dec 6 17:51:35 UTC 2011


I just committed the changes to switch
from the ancient texi2www to the newer
texi2html. I them checked that the RTEMS.org
server cron job that generates 4.11 documentation
twice a day and publishes it still worked OK.

I am proud to announce that the html
output online now is from texi2html.


It looks a bit different but mostly because the
navigation bar has more options.


Joel Sherrill, Ph.D.             Director of Research&  Development
joel.sherrill at OARcorp.com        On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
    Support Available             (256) 722-9985

More information about the users mailing list