https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65102
Bug ID: 65102
Summary: gnat-style.texi warning from including fdl.texi
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: vries at gcc dot gnu.org
While generating gnat-style.info, we see:
...
src/gcc/doc/include/fdl.texi:33: warning: node `Index' is next for `GNU Free
Documentation License' in menu but not in sectioning
src/gcc/doc/include/fdl.texi:33: warning: node `Top' is up for `GNU Free
Documentation License' in menu but not in sectioning
...
This patch fixes the warnings:
...
diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi
index 1fa7688..50adaab 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 8f3d7be..55aa498 100644
--- a/gcc/doc/include/fdl.texi
+++ b/gcc/doc/include/fdl.texi
@@ -30,9 +30,11 @@ of this license document, but changing it is not allowed.
@end ifset
@c man begin DESCRIPTION
@ifclear gfdlhtml
+@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
...
