fix doc build: I have version.texi, but no gversion.texi

diff --git a/doc/documentation/gnunet-c-tutorial.texi b/doc/documentation/gnunet-c-tutorial.texi
index cf42d8e8b6f82e3658bb3285e8c1f2532eff5501..b3bcdf18a1feb673e08bef72dab6a2093a3ef7e4 100644 (file)
--- 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
 
-@include gversion.texi
+@include version.texi
 
 @copying
 Copyright @copyright{} 2001-2018 GNUnet e.V.

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 003ad8143eb1cb10d390ec2d56f69ca3ce5ce06c..05522d7d0f670e8c2413d69127c40be6b7433a1b 100644 (file)
--- 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/
-@include gversion.texi
+@include version.texi
 @c @set OPENPGP-SIGNING-KEY-ID
 
 @copying