Re: Small change for id's in <xref>

[Karl Berry]

         I made these changes to the file makeinfo/xml.c and I am sending you as
    an attachment
    the result of diff xml.c xmlchanged.c

Thank you very much!  I installed your changes.