diff options
Diffstat (limited to 'gcc/doc/gcc.texi')
| -rw-r--r-- | gcc/doc/gcc.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/doc/gcc.texi b/gcc/doc/gcc.texi index baf4173c787..b97943916f1 100644 --- a/gcc/doc/gcc.texi +++ b/gcc/doc/gcc.texi @@ -147,12 +147,12 @@ Introduction, gccint, GNU Compiler Collection (GCC) Internals}. * GNU Project:: The GNU Project and GNU/Linux. * Copying:: GNU General Public License says - how you can copy and share GCC. + how you can copy and share GCC. * GNU Free Documentation License:: How you can copy and share this manual. * Contributors:: People who have contributed to GCC. * Option Index:: Index to command line options. -* Keyword Index:: Index of concepts and symbol names. +* Keyword Index:: Index of concepts and symbol names. @end menu @include frontends.texi |