This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada, DOC] PR15479: Do not document gnathtml
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Ralf Wildenhues <Ralf dot Wildenhues at gmx dot de>, gcc-patches at gcc dot gnu dot org
- Date: Sun, 20 Jul 2008 21:57:06 +0200
- Subject: Re: [Ada, DOC] PR15479: Do not document gnathtml
- References: <20080720194825.GI25838@ins.uni-bonn.de>
> 'make info dvi pdf html' passed. OK for trunk?
This is NOT OK: gnathtml is an existing tool that needs documenting,
see gcc/ada/gnathtml.pl.
If there's a bug, it's a missing install during make install, but the
fix is not to remove this documentation.
Arno