texi2html Generated HTML now Online

[Joel Sherrill]

Hi,

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.

http://rtems.org/onlinedocs/doc-current/share/rtems/html/index.html

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

Enjoy

-- 
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