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

[Jose E. Marchesi]

OK for master.
Thanks.

> 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.