bug#12967: Texinfo compile failure on IRIX 6.5

[Karl Berry]

    I'll need access
    to an IRIX system to do so myself.  

I will ask my friend at Utah for an account for you if you want to
pursue it.  Let me know.