diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-10-23 12:57:37 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-10-23 12:57:37 +0200 |
commit | 5b5b317f1e7667371de0695d16eb862997585781 (patch) | |
tree | 0f7e4aa828a817866ffb4078a42b87f778e4621d /doc | |
parent | a3991d078b2583cd09e58230333e8070a723e332 (diff) | |
download | gnunet-5b5b317f1e7667371de0695d16eb862997585781.tar.gz gnunet-5b5b317f1e7667371de0695d16eb862997585781.zip |
fix doc build: I have version.texi, but no gversion.texi
Diffstat (limited to 'doc')
-rw-r--r-- | doc/documentation/gnunet-c-tutorial.texi | 2 | ||||
-rw-r--r-- | 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 @@ | |||
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 |
12 | Copyright @copyright{} 2001-2018 GNUnet e.V. | 12 | 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 @@ | |||
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 |