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
_______________________________________________
Bug-dejagnu mailing list
Bug-dejagnu@...
http://lists.gnu.org/mailman/listinfo/bug-dejagnu