Re: libGDB doco (for gdbint.texinfo)

[Andrew Cagney <ac131313 at cygnus dot com>]

>> Date: Thu, 19 Jul 2001 12:41:31 -0400
>> From: Andrew Cagney <ac131313@cygnus.com>
>> 
>> I didn't know what to call it back then, I still don't now ....  Given 
>> your comment, I guess I should cross ``libgdb'' and ``gdblib'' off the 
>> list - that leaves just``gdb.h'' :-)
> 
> 
> How about gdb_engine?


Like "gdb-engine.h" and:

	gdb_engine_do_this();
	gdb_engine_do_that();

I suspect that just "gdb.h" and:

	gdb_do_this();
	gdb_do_that();

will keep people amused.

	Andrew