[gnunet] branch master updated: fix make dist

[gnunet]

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

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new dfb6ce24c fix make dist
dfb6ce24c is described below

commit dfb6ce24cec42f9dcabf88c9a560018fe13dc4ff
Author: Schanzenbach, Martin <address@hidden>
AuthorDate: Sun Dec 15 13:00:12 2019 +0100

    fix make dist
---
 doc/handbook/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am
index c4d131029..0435796a9 100644
--- a/doc/handbook/Makefile.am
+++ b/doc/handbook/Makefile.am
@@ -81,7 +81,7 @@ gnunet_TEXINFOS =                                             
\
 EXTRA_DIST =                                                   \
        $(gnunet_TEXINFOS)                                      \
        htmlxref.cnf                                            \
-       gversion.texi                                           \
+       version.texi                                           \
        run-gendocs.sh                                          \
        docstyle.css                                            \
         manual.css                                              \

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