Print KFAIL's in dejagnu summary?

[Ben Elliston]

Rob Savoye <rob@welcomehome.org> writes:

> 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.

I found tools to generate Texinfo output from Docbook so I am happy to
see the documentation retained in Docbook, but we definitely need a
single source for documentation and we need Texinfo files, just like
any GNU package.

Ben