aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-10-23 12:57:37 +0200
committerChristian Grothoff <christian@grothoff.org>2018-10-23 12:57:37 +0200
commit5b5b317f1e7667371de0695d16eb862997585781 (patch)
tree0f7e4aa828a817866ffb4078a42b87f778e4621d
parenta3991d078b2583cd09e58230333e8070a723e332 (diff)
downloadgnunet-5b5b317f1e7667371de0695d16eb862997585781.tar.gz
gnunet-5b5b317f1e7667371de0695d16eb862997585781.zip
fix doc build: I have version.texi, but no gversion.texi
-rw-r--r--doc/documentation/gnunet-c-tutorial.texi2
-rw-r--r--doc/documentation/gnunet.texi2
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 @@
6@c @exampleindent 2 6@c @exampleindent 2
7@c %**end of header 7@c %**end of header
8 8
9@include gversion.texi 9@include version.texi
10 10
11@copying 11@copying
12Copyright @copyright{} 2001-2018 GNUnet e.V. 12Copyright @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 @@
10@set PYPI-URL https://pypi.python.org/packages/source 10@set PYPI-URL https://pypi.python.org/packages/source
11@set GNURL-VERSION-CURRENT 7.55.1 11@set GNURL-VERSION-CURRENT 7.55.1
12@set GNUNET-DIST-URL https://gnunet.org/sites/default/files/ 12@set GNUNET-DIST-URL https://gnunet.org/sites/default/files/
13@include gversion.texi 13@include version.texi
14@c @set OPENPGP-SIGNING-KEY-ID 14@c @set OPENPGP-SIGNING-KEY-ID
15 15
16@copying 16@copying