diff --git a/doc/emacs/trouble.texi b/doc/emacs/trouble.texi index 60b5cc7602b..027086cab50 100644 --- a/doc/emacs/trouble.texi +++ b/doc/emacs/trouble.texi @@ -393,7 +393,7 @@ this---saving them---updates the files themselves. associated with any files, or if the autosave was not recent enough to have recorded important changes, you can use the @file{etc/emacs-buffer.gdb} script with GDB (the GNU Debugger) to -retrieve them from a core dump--provided that a core dump was saved, +retrieve them from a core dump---provided that a core dump was saved, and that the Emacs executable was not stripped of its debugging symbols.