diff options
author | Joseph Myers <joseph@codesourcery.com> | 2008-04-01 17:38:56 +0100 |
---|---|---|
committer | Joseph Myers <jsm28@gcc.gnu.org> | 2008-04-01 17:38:56 +0100 |
commit | 7f9766e49a1f3c833b8bb9feca7f0a54483a7031 (patch) | |
tree | f8a3ba5d073c01583ee93a21c5d85f83ba926379 /gcc/doc/gcc.texi | |
parent | 4412a5066472f21dfe01f6dd3ec6757f13b56a0a (diff) | |
download | gcc-7f9766e49a1f3c833b8bb9feca7f0a54483a7031.tar.gz |
texi2pod.pl: Handle @samp and @url inside verbatim blocks.
contrib:
* texi2pod.pl: Handle @samp and @url inside verbatim blocks.
Handle @heading. Handle enumerated lists with starting numbers
and extra headings.
gcc:
* doc/include/gpl_v3.texi: Update for manpage generation.
* doc/gcc.texi, doc/gccint.texi: Include gpl_v3.texi instead of
gpl.texi.
* doc/sourcebuild.texi: Document gpl_v3.texi as well as gpl.texi.
* Makefile.in (TEXI_GCC_FILES, TEXI_GCCINT_FILES): Include
gpl_v3.texi instead of gpl.texi.
(gpl.pod): New.
gcc/fortran:
* gfortran.texi: Include gpl_v3.texi instead of gpl.texi
* Make-lang.in (GFORTRAN_TEXI): Include gpl_v3.texi instead of
gpl.texi.
gcc/java:
* gcj.texi: Include gpl_v3.texi instead of gpl.texi
* Make-lang.in (TEXI_JAVA_FILES): Include gpl_v3.texi instead of
gpl.texi.
From-SVN: r133794
Diffstat (limited to 'gcc/doc/gcc.texi')
-rw-r--r-- | gcc/doc/gcc.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/gcc.texi b/gcc/doc/gcc.texi index e52d79a6543..baf4173c787 100644 --- a/gcc/doc/gcc.texi +++ b/gcc/doc/gcc.texi @@ -170,7 +170,7 @@ Introduction, gccint, GNU Compiler Collection (GCC) Internals}. @include funding.texi @include gnu.texi -@include gpl.texi +@include gpl_v3.texi @c --------------------------------------------------------------------- @c GFDL |