diff options
Diffstat (limited to 'doc/misc/eshell.texi')
| -rw-r--r-- | doc/misc/eshell.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/eshell.texi b/doc/misc/eshell.texi index 58597599cdb..504940c5c6b 100644 --- a/doc/misc/eshell.texi +++ b/doc/misc/eshell.texi | |||
| @@ -32,9 +32,9 @@ modify this GNU manual.'' | |||
| 32 | @sp 4 | 32 | @sp 4 |
| 33 | @c The title is printed in a large font. | 33 | @c The title is printed in a large font. |
| 34 | @center @titlefont{User's Guide} | 34 | @center @titlefont{User's Guide} |
| 35 | @sp | 35 | @sp 1 |
| 36 | @center @titlefont{to} | 36 | @center @titlefont{to} |
| 37 | @sp | 37 | @sp 1 |
| 38 | @center @titlefont{Eshell: The Emacs Shell} | 38 | @center @titlefont{Eshell: The Emacs Shell} |
| 39 | @ignore | 39 | @ignore |
| 40 | @sp 2 | 40 | @sp 2 |