Patch for PR 14630
Joseph S. Myers
jsm@polyomino.org.uk
Sat Mar 20 15:33:00 GMT 2004
This patch fixes bug 14630 (some info manuals don't have info
directory entries; it applies to gnat_ug as well as gccinstall). It
passes "make info" and "make dvi". Applied to mainline and 3.4
branch.
2004-03-20 Joseph S. Myers <jsm@polyomino.org.uk>
PR other/14630
* doc/install.texi: Add info directory category and entry.
ada:
2004-03-20 Joseph S. Myers <jsm@polyomino.org.uk>
PR other/14630
* gnat_ug.texi: Add info directory category and entry.
* gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
gnat_ug_wnt.texi: Regenerate.
diff -ruN GCC.orig/gcc/ada/gnat_ug.texi GCC/gcc/ada/gnat_ug.texi
--- GCC.orig/gcc/ada/gnat_ug.texi 2003-12-24 20:09:58.000000000 +0000
+++ GCC/gcc/ada/gnat_ug.texi 2004-03-20 15:27:33.000000000 +0000
@@ -55,21 +55,37 @@
@ifset vms
@setfilename gnat_ug_vms.info
@settitle GNAT User's Guide for OpenVMS Alpha
+@dircategory GNU Ada tools
+@direntry
+* GNAT User's Guide (gnat_ug_vms). GNAT User's Guide for OpenVMS Alpha.
+@end direntry
@end ifset
@ifset wnt
@setfilename gnat_ug_wnt.info
@settitle GNAT User's Guide for Windows NT
+@dircategory GNU Ada tools
+@direntry
+* GNAT User's Guide (gnat_ug_wnt). GNAT User's Guide for Windows NT.
+@end direntry
@end ifset
@ifset unx
@setfilename gnat_ug_unx.info
@settitle GNAT User's Guide for Unix Platforms
+@dircategory GNU Ada tools
+@direntry
+* GNAT User's Guide (gnat_ug_unx). GNAT User's Guide for Unix Platforms.
+@end direntry
@end ifset
@ifset vxworks
@setfilename gnat_ug_vxw.info
@settitle GNAT User's Guide for Cross Platforms
+@dircategory GNU Ada tools
+@direntry
+* GNAT User's Guide (gnat_ug_vxw). GNAT User's Guide for Cross Platforms.
+@end direntry
@end ifset
@include gcc-common.texi
diff -ruN GCC.orig/gcc/doc/install.texi GCC/gcc/doc/install.texi
--- GCC.orig/gcc/doc/install.texi 2004-03-14 22:25:10.000000000 +0000
+++ GCC/gcc/doc/install.texi 2004-03-20 15:06:59.000000000 +0000
@@ -87,6 +87,10 @@
@ifinfo
@insertcopying
@end ifinfo
+@dircategory Programming
+@direntry
+* gccinstall: (gccinstall). Installing the GNU Compiler Collection.
+@end direntry
@c Part 3 Titlepage and Copyright
@titlepage
--
Joseph S. Myers
jsm@polyomino.org.uk
More information about the Gcc-patches
mailing list