ir.texi problems

[Mark Mitchell]

Thanks!  I assume you checked that in; if not, please do so.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com