[GNUnet-SVN] [gnunet] branch master updated: This should fix #5134

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 1d178e1c8 This should fix #5134
1d178e1c8 is described below

commit 1d178e1c8b1f37f8e7c93eaabc5b86559bcb0709
Author: ng0 <address@hidden>
AuthorDate: Mon Sep 25 20:53:40 2017 +0000

    This should fix #5134
---
 contrib/packages/guix/gnunet-doc.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/packages/guix/gnunet-doc.scm 
b/contrib/packages/guix/gnunet-doc.scm
index a2a9a2393..9b3293a17 100644
--- 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

-- 
To stop receiving notification emails like this one, please contact
address@hidden