This should fix #5134

diff --git a/contrib/packages/guix/gnunet-doc.scm b/contrib/packages/guix/gnunet-doc.scm
index a2a9a2393ce8a718d90d76a20da91fa8e317a90e..9b3293a17f2386c0f004b9747384619e7b11805a 100644 (file)
--- a/contrib/packages/guix/gnunet-doc.scm
+++ b/contrib/packages/guix/gnunet-doc.scm
@@ -70,7 +70,7 @@
                                    "/../../../"))
 
 (define gnunet-doc
-  (let* ((revision "1")
+  (let* ((revision "2")
          (select? (delay (or (git-predicate
                               (string-append (current-source-directory)
                                              "/../../../"))
@@ -122,7 +122,7 @@
          ("autoconf" ,autoconf)
          ("automake" ,automake)
          ("gnu-gettext" ,gnu-gettext)
-         ("texinfo" ,texinfo)
+         ("texinfo-5" ,texinfo-5) ; Debian stable
          ("libtool" ,libtool)))
       (arguments
        `(#:tests? #f ;Don't run tests