diff options
author | Christian Ebert <blacktrash@gmx.net> | 2006-08-03 23:42:27 +0000 |
---|---|---|
committer | Christian Ebert <blacktrash@gmx.net> | 2006-08-03 23:42:27 +0000 |
commit | 0d820d7fe6204d66674b7e1a99decb8880b6a7e1 (patch) | |
tree | 030c070918ea5e704866752bf85128f2a550b942 /doc | |
parent | 93c88a5e9dac63353739713bdf4688470a49ac74 (diff) |
Minor formatting tweak in the manual.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual.xml.head | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual.xml.head b/doc/manual.xml.head index cdb63305..3e9478f2 100644 --- a/doc/manual.xml.head +++ b/doc/manual.xml.head @@ -3046,7 +3046,8 @@ dollar sign. macro pager <PageDown> "\ <enter-command> set my_old_pager_stop=\$pager_stop pager_stop<Enter>\ <next-page>\ -<enter-command> set pager_stop=\$my_old_pager_stop ; unset my_old_pager_stop<Enter>" +<enter-command> set pager_stop=\$my_old_pager_stop<Enter>\ +<enter-command> unset my_old_pager_stop<Enter>" </screen> </para> |