This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Patch to add index of command line options to gcc manual
- To: <gcc-patches at gcc dot gnu dot org>
- Subject: Patch to add index of command line options to gcc manual
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Date: Fri, 8 Jun 2001 12:03:36 +0100 (BST)
- cc: <pfeifer at dbai dot tuwien dot ac dot at>
This patch (attached in both mainline and branch versions) adds an
index of command line options to the GCC manual. Options aren't yet
indexed everywhere it is appropriate, only so far where relevant in
gcc.texi and for their main descriptions in invoke.texi. (I'll add
other index entries later.) It passes "make info" and "make dvi" on
both mainline and branch; OK to commit to both?
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.
--
Joseph S. Myers
jsm28@cam.ac.uk
index-patch-branch.bz2
index-patch-mainline.bz2