Re: [help-texinfo] RTEMS Texinfo Update Experience Blog

[Karl Berry]

    http://rtemsramblings.blogspot.com/2013/02/rtems-texinfo-tools-update.html

Thanks Joel.  I added a link to the Texinfo home page.
http://www.gnu.org/software/texinfo/

k