[PATCH 2/2] doc: Add introduction to manual

[Arsen Arsenović]

2023-01-17  Arsen Arsenović  <arsen@aarsen.me>

        * doc/poke.texi (Top): Include the introductory paragraph from
        <https://jemarch.net/poke.html>, and a brief elaboration on the
        contents of the manual.
---
 ChangeLog     | 3 +++
 doc/poke.texi | 8 ++++++++
 2 files changed, 11 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ddd0f6b2..e3b1e7af 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2023-01-17  Arsen Arsenović  <arsen@aarsen.me>
 
+       * doc/poke.texi (Top): Include the introductory paragraph from
+       <https://jemarch.net/poke.html>, and a brief elaboration on the
+       contents of the manual.
        * doc/Makefile.am (html-local): Remove outdated workaround for bug
        in older Texinfo versions.
 
diff --git a/doc/poke.texi b/doc/poke.texi
index 5090ca15..d370857d 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -44,6 +44,14 @@ later version.
 @insertcopying
 @end ifnottex
 
+GNU poke is an interactive, extensible editor for binary data.  Not
+limited to editing basic entities such as bits and bytes, it provides
+a full-fledged procedural, interactive programming language designed
+to describe data structures and to operate on them.
+
+This manual describes the @code{poke} binary data editor as well as
+the Poke language.
+
 @menu
 Getting Started
 * Introduction::               Introducing GNU poke.
-- 
2.39.0