Eli Zaretskii wrote:
> Thanks.  This is approved, provided that you fix the minor problems
> mentioned below.

OK, updated patch attached.

Out of interest, why does 'GDB' have to be '@value{GDBN}'? What does 
that do?

I can create the info file fine, but the PDF has errors. The only thing 
I can see wrong with the produced file is that the index is missing. Is 
this a known problem or am I using the wrong version of something? I 
have Texinfo 4.5.

Still nobody has given an opinion on any of the three patches I sent 
adding new options. What do you want to do with them? Do we know if 
Daniel is back from holiday yet?

I'll do the docs for the other two options soon.

Thanks

Andrew Stubbs