Minor formatting tweak in the manual.

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index cdb6330527d805b7842e288c40466fa29cc79700..3e9478f246bfe2e5751c850e04afab15741aa772 100644 (file)
--- 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>