diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
index 8109ec24a14..f388c11c3d1 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)