OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix warnings from including fdl.texi into gnat-style.texi

Browse Source 
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
This commit is contained in:
Tom de Vries 2015-12-10 09:19:04 +00:00 committed by Tom de Vries
parent 580a4eedb9
commit e53ed9f4c5
4 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
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

6
gcc/ada/ChangeLog
View File

@ -1,3 +1,9 @@
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

3
gcc/ada/gnat-style.texi
View File

@ -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

7
gcc/doc/include/fdl.texi
View File

@ -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