This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to add index of command line options to gcc manual
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: Patch to add index of command line options to gcc manual
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Fri, 8 Jun 2001 20:31:13 +0200 (CEST)
- cc: <gcc-patches at gcc dot gnu dot org>
On Fri, 8 Jun 2001, Joseph S. Myers wrote:
> 2001-06-08 Joseph S. Myers <jsm28@cam.ac.uk>
>
> * doc/gcc.texi, doc/invoke.texi: Add index of command line
> options. Use @opindex to index them rather than other indexing
> commands. Use @var{...} instead of <...>. Avoid spaces in names
> inside @var. Don't use @kindex to index escape sequences in
> source code.
Mark already approved this (and in fact I thought I had already done that
during our off-list exchange?), but let me add one thing: Excellent!
Thanks,
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/