[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

texi2html Generated HTML now Online


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