From e53ed9f4c5712c151aadd5fa8891f189d5b9615e Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Thu, 10 Dec 2015 09:19:04 +0000 Subject: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi 2015-12-10 Tom de Vries 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 --- gcc/ChangeLog | 6 ++++++ gcc/ada/ChangeLog | 6 ++++++ gcc/ada/gnat-style.texi | 3 +++ gcc/doc/include/fdl.texi | 7 +++++++ 4 files changed, 22 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c46eef42f8e..9a7c01f5b99 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-12-10 Tom de Vries + + PR ada/65102 + * doc/include/fdl.texi: Add nodefaultgnufreedocumentationlicensenode + ifdef to allow disabling default @node GNU Free Documentation License. + 2015-12-10 Richard Biener * tree-ssa-structalias.c (create_function_info_for): Add missing diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 38fe3be3d41..4ad9344d442 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2015-12-10 Tom de Vries + + PR ada/65102 + * gnat-style.texi: Set nodefaultgnufreedocumentationlicensenode and + define @node GNU Free Documentation License locally. + 2015-12-09 Eric Botcazou PR ada/66526 diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi index 1fa7688b173..50adaabc993 100644 --- a/gcc/ada/gnat-style.texi +++ b/gcc/ada/gnat-style.texi @@ -937,6 +937,9 @@ except that they are all lower case. @c ********************************** @c * GNU Free Documentation License * @c ********************************** +@node GNU Free Documentation License,Index, Program Structure, Top +@unnumberedsec GNU Free Documentation License +@set nodefaultgnufreedocumentationlicensenode @include fdl.texi @c GNU Free Documentation License @cindex GNU Free Documentation License diff --git a/gcc/doc/include/fdl.texi b/gcc/doc/include/fdl.texi index 8f3d7be2e80..4e3457fe9c4 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