This is the mail archive of the
gdb@sources.redhat.com
mailing list for the GDB project.
Re: Print KFAIL's in dejagnu summary?
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