[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
texi2html Generated HTML now Online
- Date: Tue, 6 Dec 2011 11:51:35 -0600
- From: joel.sherrill at OARcorp.com (Joel Sherrill)
- Subject: 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