The following patch adds some light documentation about the new observer
paradigm introduced recently.

2003-03-08  J. Brobecker  <brobecker@gnat.com>

        * gdbint.texinfo: Fix a small typo.
        (Observing Changes in GDB internals): New section.
        (GDB Observers currently available): Add menu entry to new appendix.
        * observer.texi: New file.
        * Makefile.in (GDBINT_DOC_SOURCE_INCLUDES): Add dependency on
        new observer.texi file.

Cheers,
-- 
Joel