Subject: [PATCH] gnu: openocd: Build and install info pages

From: [email-masked]
Date: Tue, 6 Jul 2021 12:01:42 -0400

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)
-- 
2.32.0