diff options
| author | Tom de Vries <tom@codesourcery.com> | 2015-12-10 09:19:04 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2015-12-10 09:19:04 +0000 |
| commit | e53ed9f4c5712c151aadd5fa8891f189d5b9615e (patch) | |
| tree | 84556fefacbfe4578e3682eb14adcb6c1592921f /gcc/doc/include | |
| parent | 580a4eedb9004a8f34f5908a286af97642d639c4 (diff) | |
| download | gcc-e53ed9f4c5712c151aadd5fa8891f189d5b9615e.zip gcc-e53ed9f4c5712c151aadd5fa8891f189d5b9615e.tar.gz gcc-e53ed9f4c5712c151aadd5fa8891f189d5b9615e.tar.bz2 | |
Fix warnings from including fdl.texi into gnat-style.texi
2015-12-10 Tom de Vries <tom@codesourcery.com>
PR ada/65102
* doc/include/fdl.texi: Add nodefaultgnufreedocumentationlicensenode
ifdef to allow disabling default @node GNU Free Documentation License.
* gnat-style.texi: Set nodefaultgnufreedocumentationlicensenode and
define @node GNU Free Documentation License locally.
From-SVN: r231497
Diffstat (limited to 'gcc/doc/include')
| -rw-r--r-- | gcc/doc/include/fdl.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/doc/include/fdl.texi b/gcc/doc/include/fdl.texi index 8f3d7be..4e3457f 100644 --- a/gcc/doc/include/fdl.texi +++ b/gcc/doc/include/fdl.texi @@ -30,9 +30,16 @@ of this license document, but changing it is not allowed. @end ifset @c man begin DESCRIPTION @ifclear gfdlhtml +@comment For some cases, this default @node/@unnumbered is not applicable and +@comment causes warnings. In those cases, the including file can set +@comment nodefaultgnufreedocumentationlicensenode and provide it's own version. +@comment F.i., when this file is included in an @raisesections context, the +@comment including file can use an @unnumberedsec. +@ifclear nodefaultgnufreedocumentationlicensenode @node GNU Free Documentation License @unnumbered GNU Free Documentation License @end ifclear +@end ifclear @cindex FDL, GNU Free Documentation License @center Version 1.3, 3 November 2008 |