# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 997032447 0
# Node ID 5c9ec2d0b570e6248e925eb747d70e1b41ab7691
# Parent  ebcceabda1b5638f39034f124867a3ff934148c0
(Lossage, Bugs): Mention the keys which display PROBLEMS and FAQ.

diff -r ebcceabda1b5 -r 5c9ec2d0b570 man/trouble.texi
--- a/man/trouble.texi	Sun Aug 05 09:04:05 2001 +0000
+++ b/man/trouble.texi	Sun Aug 05 17:27:27 2001 +0000
@@ -124,7 +124,8 @@
 normally, and how to recognize them and correct them.  For a list of
 additional problems you might encounter, see @ref{Bugs and problems, ,
 Bugs and problems, efaq, GNU Emacs FAQ}, and the file @file{etc/PROBLEMS}
-in the Emacs distribution.
+in the Emacs distribution.  Type @kbd{C-h F} to read the FAQ; type
+@kbd{C-h P} to read the @file{PROBLEMS} file.
 
 @menu
 * DEL Gets Help::       What to do if @key{DEL} doesn't delete.
@@ -425,11 +426,11 @@
 
   Before reporting a bug, it is a good idea to see if it is already
 known.  You can find the list of known problems in the file
-@file{etc/PROBLEMS} in the Emacs distribution.  Some additional
-user-level problems can be found in @ref{Bugs and problems, , Bugs and
-problems, efaq, GNU Emacs FAQ}.  Looking up your problem in these two
-documents might provide you with a solution or a work-around, or give
-you additional information about related issues.
+@file{etc/PROBLEMS} in the Emacs distribution; type @kbd{C-h P} to read
+it.  Some additional user-level problems can be found in @ref{Bugs and
+problems, , Bugs and problems, efaq, GNU Emacs FAQ}.  Looking up your
+problem in these two documents might provide you with a solution or a
+work-around, or give you additional information about related issues.
 
 @menu
 * Criteria:  Bug Criteria.	 Have you really found a bug?