diff options
author | Nils Gillmann <ng0@n0.is> | 2018-10-21 13:36:09 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-10-21 13:53:45 +0000 |
commit | 811d311f4c04a8a34877ede28d825b374233aea2 (patch) | |
tree | 5500b1958b873e0f4c2fcce83da770ba2164c79e /doc/documentation/gnunet.texi | |
parent | 4718e7b56b3d944a55b7eabb15dff850faf8a02f (diff) | |
download | gnunet-811d311f4c04a8a34877ede28d825b374233aea2.tar.gz gnunet-811d311f4c04a8a34877ede28d825b374233aea2.zip |
documentation: Remove usage of version and version2.texi, replace with portable sed.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/documentation/gnunet.texi')
-rw-r--r-- | doc/documentation/gnunet.texi | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi index 3781b866b..003ad8143 100644 --- a/doc/documentation/gnunet.texi +++ b/doc/documentation/gnunet.texi | |||
@@ -3,15 +3,14 @@ | |||
3 | @setfilename gnunet.info | 3 | @setfilename gnunet.info |
4 | @documentencoding UTF-8 | 4 | @documentencoding UTF-8 |
5 | @settitle GNUnet Reference Manual | 5 | @settitle GNUnet Reference Manual |
6 | @exampleindent 2 | 6 | @c @exampleindent 2 |
7 | |||
8 | @include version.texi | ||
9 | 7 | ||
10 | @c Set Versions which might be used in more than one place: | 8 | @c Set Versions which might be used in more than one place: |
11 | @set GNUFTP-URL https://ftp.gnu.org/gnu/gnunet | 9 | @set GNUFTP-URL https://ftp.gnu.org/gnu/gnunet |
12 | @set PYPI-URL https://pypi.python.org/packages/source | 10 | @set PYPI-URL https://pypi.python.org/packages/source |
13 | @set GNURL-VERSION-CURRENT 7.55.1 | 11 | @set GNURL-VERSION-CURRENT 7.55.1 |
14 | @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 | ||
15 | @c @set OPENPGP-SIGNING-KEY-ID | 14 | @c @set OPENPGP-SIGNING-KEY-ID |
16 | 15 | ||
17 | @copying | 16 | @copying |
@@ -59,7 +58,6 @@ Foundation Web site at @url{http://www.gnu.org/licenses/gpl.html}. | |||
59 | @page | 58 | @page |
60 | @vskip 0pt plus 1filll | 59 | @vskip 0pt plus 1filll |
61 | Edition @value{EDITION} @* | 60 | Edition @value{EDITION} @* |
62 | @value{UPDATED} @* | ||
63 | 61 | ||
64 | @insertcopying | 62 | @insertcopying |
65 | @end titlepage | 63 | @end titlepage |