Print KFAIL's in dejagnu summary?

[Rob Savoye]

On Fri, Oct 03, 2003 at 11:57:00AM -0400, Michael Elizabeth Chastain wrote:
> > btw - I'm still waiting for KFAIL documentation... :-)
> 
> Oops.  What kind of documentation are you waiting for?
> I can write doco.

  Right now the only documentation for KFAIL is in the mostly unmaintained 
dejagnu.texi file. It needs to be added to the SGML format doc as well. Yes, I
know the GNU project uses texinfo, but most GNU/Linux projects these days use
DocBook, which is also supported by all the fancy help tools under GNOME. 

	- rob -