This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Fix warnings from including fdl.texi into gnat-style.texi
- From: Tom de Vries <Tom_deVries at mentor dot com>
- To: Arnaud Charlet <charlet at adacore dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Sun, 22 Feb 2015 16:25:06 +0100
- Subject: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi
- Authentication-results: sourceware.org; auth=none
Hi,
While generating gnat-style.info, we see these warnings:
...
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
...
Attached patch fixes these.
Ok for stage4?
Thanks,
- Tom
2015-02-22 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 and @unnumberedsec GNU Free Documentation License locally.
---
gcc/ada/gnat-style.texi | 3 +++
gcc/doc/include/fdl.texi | 2 ++
2 files changed, 5 insertions(+)
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
--
1.9.1