Re: [Bug-dejagnu] Re: Documentation typos

[Ben Elliston]

Hi.

> One more I just noticed:
> (for instance, to see debug output immediately, specify _-debug_-v -v}).
> I'm not sure what's wrong here, but something clearly is!

The problem, I think, is that `debug' was surrrounded by <emphasis>
tags in the SGML, not <option>.  This is how the tools render
_emphasis_ in thee Info pages.  I've now checked and fixed every
option that was using <emphasis> in this way.

Cheers, Ben