From 5b5b317f1e7667371de0695d16eb862997585781 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 23 Oct 2018 12:57:37 +0200 Subject: 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(-) (limited to 'doc/documentation') 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 -@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 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/ -@include gversion.texi +@include version.texi @c @set OPENPGP-SIGNING-KEY-ID @copying -- cgit v1.2.3