texi2html Generated HTML now Online
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