[Bug gas/15212] gas docs can't be built with texinfo 5.0

[nickc at redhat dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=15212

--- Comment #1 from Nick Clifton <nickc at redhat dot com> 2013-03-01 10:17:34 
UTC ---
Created attachment 6910
  --> http://sourceware.org/bugzilla/attachment.cgi?id=6910
Fixes for texinfo 5.0

Hi Bernhard,

  Please could you try out the uploaded patch and let me know if it works for
you.  (I do not have a system with texinfo 5.0 installed on it).

Cheers
  Nick

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.