diff options
| -rw-r--r-- | man/trouble.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/trouble.texi b/man/trouble.texi index e7534ed2560..1cd3aa4db12 100644 --- a/man/trouble.texi +++ b/man/trouble.texi | |||
| @@ -368,7 +368,7 @@ available. For each buffer, it lists a buffer number. To save a | |||
| 368 | buffer, use @code{ysave-buffer}; you specify the buffer number, and | 368 | buffer, use @code{ysave-buffer}; you specify the buffer number, and |
| 369 | the file name to write that buffer into. You should use a file name | 369 | the file name to write that buffer into. You should use a file name |
| 370 | which does not already exist; if the file does exist, the script does | 370 | which does not already exist; if the file does exist, the script does |
| 371 | not make make a backup of its old contents. | 371 | not make a backup of its old contents. |
| 372 | 372 | ||
| 373 | @node Emergency Escape | 373 | @node Emergency Escape |
| 374 | @subsection Emergency Escape | 374 | @subsection Emergency Escape |