[COMMITTED] pk-help: print synopsis only if it is defined

[Jose E. Marchesi]

2022-01-02  Jose E. Marchesi  <jemarch@gnu.org>

        * poke/pk-help.pk (pk_help): Print synopsis only if it is actually
        present.
---
 ChangeLog       | 5 +++++
 poke/pk-help.pk | 3 ++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 67da9bf7..ab5f74ea 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-01-02  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * poke/pk-help.pk (pk_help): Print synopsis only if it is actually
+       present.
+
 2021-12-31  Jose E. Marchesi  <jemarch@gnu.org>
 
        * DEV-NEWS: Remove file.
diff --git a/poke/pk-help.pk b/poke/pk-help.pk
index 6d815b4a..c6a45b84 100644
--- a/poke/pk-help.pk
+++ b/poke/pk-help.pk
@@ -97,7 +97,8 @@ fun pk_help = (string topic) void:
       if (entry.description != "")
        {
          try {
-           printf "\nSynopsis:\n\n  %s\n\n", entry.synopsis;
+           if (entry.synopsis != "")
+             printf "\nSynopsis:\n\n  %s\n\n", entry.synopsis;
          } catch if E_elem {}
         printf ("%s\n", entry.description);
        }
-- 
2.11.0