> 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?
The gnat-style.texi part is OK. I cannot approve the fdl part though. Arno