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 | |
| parent | 4412a5066472f21dfe01f6dd3ec6757f13b56a0a (diff) | |
| download | gcc-7f9766e49a1f3c833b8bb9feca7f0a54483a7031.zip gcc-7f9766e49a1f3c833b8bb9feca7f0a54483a7031.tar.gz gcc-7f9766e49a1f3c833b8bb9feca7f0a54483a7031.tar.bz2 | |
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')
| -rw-r--r-- | gcc/doc/gcc.texi | 2 | ||||
| -rw-r--r-- | gcc/doc/gccint.texi | 2 | ||||
| -rw-r--r-- | gcc/doc/include/gpl_v3.texi | 16 | ||||
| -rw-r--r-- | gcc/doc/sourcebuild.texi | 1 |
4 files changed, 19 insertions, 2 deletions
diff --git a/gcc/doc/gcc.texi b/gcc/doc/gcc.texi index e52d79a..baf4173 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 diff --git a/gcc/doc/gccint.texi b/gcc/doc/gccint.texi index 2f69947..47e0221 100644 --- a/gcc/doc/gccint.texi +++ b/gcc/doc/gccint.texi @@ -156,7 +156,7 @@ Additional tutorial information is linked to from @include funding.texi @include gnu.texi -@include gpl.texi +@include gpl_v3.texi @c --------------------------------------------------------------------- @c GFDL diff --git a/gcc/doc/include/gpl_v3.texi b/gcc/doc/include/gpl_v3.texi index 6e7ea63..3180677 100644 --- a/gcc/doc/include/gpl_v3.texi +++ b/gcc/doc/include/gpl_v3.texi @@ -1,4 +1,19 @@ +@ignore +@c Set file name and title for man page. +@setfilename gpl +@settitle GNU General Public License +@c man begin SEEALSO +gfdl(7), fsf-funding(7). +@c man end +@c man begin COPYRIGHT +Copyright @copyright{} 2007 Free Software Foundation, Inc. + +Everyone is permitted to copy and distribute verbatim copies of this +license document, but changing it is not allowed. +@c man end +@end ignore @node Copying +@c man begin DESCRIPTION @unnumbered GNU General Public License @center Version 3, 29 June 2007 @@ -715,3 +730,4 @@ library, you may consider it more useful to permit linking proprietary applications with the library. If this is what you want to do, use the GNU Lesser General Public License instead of this License. But first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}. +@c man end diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi index d4b7753..7db3674 100644 --- a/gcc/doc/sourcebuild.texi +++ b/gcc/doc/sourcebuild.texi @@ -340,6 +340,7 @@ The section ``Funding Free Software''. @item gcc-common.texi Common definitions for manuals. @item gpl.texi +@itemx gpl_v3.texi The GNU General Public License. @item texinfo.tex A copy of @file{texinfo.tex} known to work with the GCC manuals. |