This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, DOC]: lots of small fixes to GCC manuals
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: Ralf Wildenhues <Ralf dot Wildenhues at gmx dot de>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 14 Feb 2008 01:32:59 +0100 (CET)
- Subject: Re: [PATCH, DOC]: lots of small fixes to GCC manuals
- References: <20080213234747.GA11978@ins.uni-bonn.de>
On Thu, 14 Feb 2008, Ralf Wildenhues wrote:
> Tested 'cd gcc && make info pdf dvi html'. OK to apply?
0004-copyright-years.diff is okay.
0002-do-not-end.diff is okay.
> Does this still count as obvious, despite its size?
That's a fair question, and I guess the answer is that it's probably
a bit borderline. Completely obvious it's not, on the other hand we
tend to be more relaxed wrt. documentation.
Gerald