diff options
| author | Manuel López-Ibáñez <manu@gcc.gnu.org> | 2008-02-07 20:40:19 +0000 |
|---|---|---|
| committer | Manuel López-Ibáñez <manu@gcc.gnu.org> | 2008-02-07 20:40:19 +0000 |
| commit | af47e6ac4832cae20aa7487fdda2fdbc4b155189 (patch) | |
| tree | 431b274212d3db4023ea46e67e8a1ca19e831673 /gcc/doc/options.texi | |
| parent | 083e941686d0aa7505832d202f96bddaf1417c2a (diff) | |
| download | gcc-af47e6ac4832cae20aa7487fdda2fdbc4b155189.zip gcc-af47e6ac4832cae20aa7487fdda2fdbc4b155189.tar.gz gcc-af47e6ac4832cae20aa7487fdda2fdbc4b155189.tar.bz2 | |
re PR other/32754 (The opt?-gen.awk file generators produce incorrect credits)
2008-02-07 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR other/32754
* doc/options.texi (Options): Replace references to opts.sh with
optc-gen.awk.
* opts-common.c: Likewise.
* optc-gen.awk: Likewise.
From-SVN: r132174
Diffstat (limited to 'gcc/doc/options.texi')
| -rw-r--r-- | gcc/doc/options.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi index 05fa05b..eeccdec 100644 --- a/gcc/doc/options.texi +++ b/gcc/doc/options.texi @@ -5,7 +5,7 @@ @node Options @chapter Option specification files @cindex option specification files -@cindex @samp{opts.sh} +@cindex @samp{optc-gen.awk} Most GCC command-line options are described by special option definition files, the names of which conventionally end in |