[GNUnet-SVN] [gnunet] branch master updated: fix doc build: I have version.texi, but no gversion.texi

[gnunet]

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

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 5b5b317f1 fix doc build: I have version.texi, but no gversion.texi
5b5b317f1 is described below

commit 5b5b317f1e7667371de0695d16eb862997585781
Author: Christian Grothoff <address@hidden>
AuthorDate: Tue Oct 23 12:57:37 2018 +0200

    fix doc build: I have version.texi, but no gversion.texi
---
 doc/documentation/gnunet-c-tutorial.texi | 2 +-
 doc/documentation/gnunet.texi            | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/documentation/gnunet-c-tutorial.texi 
b/doc/documentation/gnunet-c-tutorial.texi
index cf42d8e8b..b3bcdf18a 100644
--- a/doc/documentation/gnunet-c-tutorial.texi
+++ b/doc/documentation/gnunet-c-tutorial.texi
@@ -6,7 +6,7 @@
 @c @exampleindent 2
 @c %**end of header
 
address@hidden gversion.texi
address@hidden version.texi
 
 @copying
 Copyright @copyright{} 2001-2018 GNUnet e.V.
diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 003ad8143..05522d7d0 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -10,7 +10,7 @@
 @set PYPI-URL https://pypi.python.org/packages/source
 @set GNURL-VERSION-CURRENT 7.55.1
 @set GNUNET-DIST-URL https://gnunet.org/sites/default/files/
address@hidden gversion.texi
address@hidden version.texi
 @c @set OPENPGP-SIGNING-KEY-ID
 
 @copying

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