makeinfo 4.12 doesn't like this:
../../gcc/doc//ux.texi:32: Node `Guidelines for Diagnostics' requires a
sectioning command (e.g., @unnumberedsec).
../../gcc/doc//ux.texi:593: Node `Guidelines for Options' requires a sectioning
command (e.g., @unnumberedsec).
../../gcc/doc//ux.texi:593: `Guidelines for Options' has no Up field (perhaps
incorrect sectioning?).
../../gcc/doc//ux.texi:32: `Guidelines for Diagnostics' has no Up field
(perhaps incorrect sectioning?).
Andreas.
* doc/ux.texi: Move @section directly after @node.
diff --git a/gcc/doc/ux.texi b/gcc/doc/ux.texi
index 9185f68c58..63349252dc 100644
--- a/gcc/doc/ux.texi
+++ b/gcc/doc/ux.texi
@@ -30,11 +30,10 @@ command-line options in ways that we hope achieve the above
ideal.
@node Guidelines for Diagnostics
+@section Guidelines for Diagnostics
@cindex guidelines for diagnostics
@cindex diagnostics, guidelines for
-@section Guidelines for Diagnostics
-
@subsection Talk in terms of the user's code
Diagnostics should be worded in terms of the user's source code, and the
@@ -591,10 +590,9 @@ generated patches.
@node Guidelines for Options
+@section Guidelines for Options
@cindex command-line options, guidelines for
@cindex options, guidelines for
@cindex guidelines for options
-@section Guidelines for Options
-
@c TODO
--
2.19.1
--
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."
