From f4045bcb616769e57d65a03a751e9cf351e51804 Mon Sep 17 00:00:00 2001
From: Pedro Alves <palves@redhat.com>
Date: Fri, 14 Sep 2012 12:10:23 +0000
Subject: [PATCH] 2012-09-14  Pedro Alves  <palves@redhat.com>

	* gdb.1 (SEE ALSO): Expand pointer to GDB's Texinfo manual.
---
 gdb/ChangeLog |  4 ++++
 gdb/gdb.1     | 17 +++++++++++++----
 2 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index f9cf247653..ecf7d2286b 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2012-09-14  Pedro Alves  <palves@redhat.com>
+
+	* gdb.1 (SEE ALSO): Expand pointer to GDB's Texinfo manual.
+
 2012-09-14  Khoo Yit Phang  <khooyp@cs.umd.edu>
 
 	Point contrib/cc-with-tweaks.sh to the build-local data-directory.
diff --git a/gdb/gdb.1 b/gdb/gdb.1
index 638f779ba2..7a54f85931 100644
--- a/gdb/gdb.1
+++ b/gdb/gdb.1
@@ -365,10 +365,19 @@ Run using \c
 .PP
 
 .SH "SEE ALSO"
-.RB "`\|" gdb "\|'"
-entry in
-.B info\c
-\&;
+The full documentation for
+.B gdb
+is maintained as a Texinfo manual.  If the
+.B info
+and
+.B gdb
+programs and GDB's Texinfo documentation are properly installed at
+your site, the command
+.IP
+.B info gdb
+.PP
+should give you access to the complete manual.
+
 .I 
 Using GDB: A Guide to the GNU Source-Level Debugger\c
 , Richard M. Stallman and Roland H. Pesch, July 1991.