From mboxrd@z Thu Jan  1 00:00:00 1970
From: Eli Zaretskii <eliz@is.elta.co.il>
To: gdb-patches@sourceware.cygnus.com
Subject: gdbint.texinfo fixed, Index added
Date: Sat, 10 Feb 2001 21:56:00 -0000
Message-id: <Pine.SUN.3.91.1010211074809.1254A-100000@is>
X-SW-Source: 2001-02/msg00168.html

FYI: I've just committed a large chunk of mundane changes to 
gdbint.texinfo.  I don't want to bore you-all to death by posting
a 145KB patch here, but the upshot is that now gdbint.texinfo has
a decent Index, and the markup is, by and large, fixed.  (This
includes the @itemize lists where the @item lines were not alone
on their lines, which I promised to fix some time ago.)

I tested this with Texinfo 4.0, so if someone could try v3.12,
please do.

Enjoy the lifted-face manual ;-).