Subject: Re: bug#49442: [PATCH] gnu: openocd: Build and install info pages
From: Maxim Cournoyer <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Tue, 13 Jul 2021 00:29:13 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

[email-masked] writes:

> From: Morgan Smith <[email-masked]>
>
> * gnu/packages/embedded.scm (openocd)[native-inputs]: Add texinfo.
> ---
>  gnu/packages/embedded.scm | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
> index 8109ec24a1..f388c11c3d 100644
> --- a/gnu/packages/embedded.scm
> +++ b/gnu/packages/embedded.scm
> @@ -588,7 +588,8 @@ language.")
>           ("automake" ,automake)
>           ("libtool" ,libtool)
>           ("which" ,base:which)
> -         ("pkg-config" ,pkg-config)))
> +         ("pkg-config" ,pkg-config)
> +         ("texinfo" ,texinfo)))
>        (inputs
>         `(("hidapi" ,hidapi)
>           ("jimtcl" ,jimtcl)

Pushed with commit acfeccd8da, after adding a dot to your commit message
summary and s/info pages/info manual/.

Thanks!

Maxim