Fixes a gdb.texinfo build problem. Andrew -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: diffs URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20030504/927702eb/attachment.ksh>