diff options
author | Eli Zaretskii <eliz@gnu.org> | 2001-08-05 17:27:27 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2001-08-05 17:27:27 +0000 |
commit | 072dc5f54cc45a8221086cecdbc88a5fbd72969c (patch) | |
tree | 89e50d325b5ae6a3caab9f37de8735af8a4750de /man/trouble.texi | |
parent | dffb622493ff1d9c31b9bd16419662e79514a337 (diff) | |
download | emacs-072dc5f54cc45a8221086cecdbc88a5fbd72969c.tar.gz |
(Lossage, Bugs): Mention the keys which display PROBLEMS and FAQ.
Diffstat (limited to 'man/trouble.texi')
-rw-r--r-- | man/trouble.texi | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/man/trouble.texi b/man/trouble.texi index 877cdcc7d24..bf066b83422 100644 --- a/man/trouble.texi +++ b/man/trouble.texi @@ -124,7 +124,8 @@ about the undo facility. 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 @@ to do so effectively, you must know when and how to do it. 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? |