diff options
| -rw-r--r-- | doc/lispref/minibuf.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/lispref/minibuf.texi b/doc/lispref/minibuf.texi index 114e5d38a80..a4916ecda30 100644 --- a/doc/lispref/minibuf.texi +++ b/doc/lispref/minibuf.texi | |||
| @@ -2245,7 +2245,7 @@ Here is an example: | |||
| 2245 | 2245 | ||
| 2246 | @smallexample | 2246 | @smallexample |
| 2247 | @group | 2247 | @group |
| 2248 | (yes-or-no-p "Do you really want to remove everything?") | 2248 | (yes-or-no-p "Do you really want to remove everything? ") |
| 2249 | 2249 | ||
| 2250 | ;; @r{After evaluation of the preceding expression,} | 2250 | ;; @r{After evaluation of the preceding expression,} |
| 2251 | ;; @r{the following prompt appears,} | 2251 | ;; @r{the following prompt appears,} |