Eli Zaretskii wrote:
>> Date: Mon, 10 Jul 2006 13:54:04 +0200 (CEST)
>> From: "Mark Kettenis" <mark.kettenis@xs4all.nl>
>> Cc: gdb-patches@sourceware.org, "Daniel Jacobowitz" <dan@codesourcery.com>
>>
>> Oh, and Eli will want you to write a paragraph on how to use this in
>> gdbint.tex.
> 
> (You meant gdbint.texinfo.)  Yep, it would be nice.

Is this version ok?

nathan

-- 
Nathan Sidwell    ::   http://www.codesourcery.com   ::         CodeSourcery
nathan@codesourcery.com    ::     http://www.planetfall.pwp.blueyonder.co.uk