+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.
+
2015-12-10 Richard Biener <rguenther@suse.de>
* tree-ssa-structalias.c (create_function_info_for): Add missing
+2015-12-10 Tom de Vries <tom@codesourcery.com>
+
+ PR ada/65102
+ * gnat-style.texi: Set nodefaultgnufreedocumentationlicensenode and
+ define @node GNU Free Documentation License locally.
+
2015-12-09 Eric Botcazou <ebotcazou@adacore.com>
PR ada/66526
@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
@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