diff options
| author | Glenn Morris | 2013-01-05 13:18:01 -0800 |
|---|---|---|
| committer | Glenn Morris | 2013-01-05 13:18:01 -0800 |
| commit | 7a2657fa3bedbd977f4e11fe030cb4a210c04ab4 (patch) | |
| tree | d3711379486a8ba569d1089effdfccbb17bdaeea /doc/misc/eshell.texi | |
| parent | f4566fe987dfcce3aedeb9ab505474408071904f (diff) | |
| parent | 89cb305ef1ef3140164f816e1d0247d6b77c60b8 (diff) | |
| download | emacs-7a2657fa3bedbd977f4e11fe030cb4a210c04ab4.tar.gz emacs-7a2657fa3bedbd977f4e11fe030cb4a210c04ab4.zip | |
Merge from emacs-24; up to 2012-12-07T08:13:49Z!dmantipov@yandex.ru
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 |