[COMMITTED] pk-help.pk: hint at activating the pager in .help

[Jose E. Marchesi]

It is to be expected that a new user will follow the recommendation
expressed in the program banner, to run .help.  The output of that
command is long and will likely scroll down.  This patch adds a
message to the output of .help recommending the user to activate the
pager with `.set pager yes'.

2023-10-30  Jose E. Marchesi  <jemarch@gnu.org>

        * poke/pk-help.pk (pk_help): Hint at activating the page at the
        end of the output of `.help'.
---
 ChangeLog       | 5 +++++
 poke/pk-help.pk | 3 +++
 2 files changed, 8 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 7eb877f9..a7bfa9cf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2023-10-30  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * poke/pk-help.pk (pk_help): Hint at activating the page at the
+       end of the output of `.help'.
+
 2023-10-29  Jose E. Marchesi  <jemarch@gnu.org>
 
        * poke/pk-info.pk (pk_info_type): Skip field pretty-printers in
diff --git a/poke/pk-help.pk b/poke/pk-help.pk
index 4930463d..47b006e5 100644
--- a/poke/pk-help.pk
+++ b/poke/pk-help.pk
@@ -87,6 +87,9 @@ fun pk_help = (string topic) void:
     print_summaries_for_category ("commands");
     print "\n";
     print "To search for some topic in the poke manual, type \".doc 
TOPIC\".\n";
+    print "If you couldn't read the whole output, try \"";
+    hserver_print_hl ('e', ".set pager yes", ".set pager yes");
+    print "\"\n";
     return;
   }
 
-- 
2.30.2