aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-02-09 14:21:29 +0000
committerng0 <ng0@n0.is>2019-02-09 14:22:55 +0000
commitd0ced1e47e01a2e1c70f2c1199321d080a493675 (patch)
tree08402ffe60fce3051f699f5c67426e80a72a9fc8 /doc
parentcf3fe60e3977d7631996089377a494e25d191726 (diff)
downloadgnunet-d0ced1e47e01a2e1c70f2c1199321d080a493675.tar.gz
gnunet-d0ced1e47e01a2e1c70f2c1199321d080a493675.zip
doc/handboc: backport a newer makeinfo macro
Signed-off-by: ng0 <ng0@n0.is>
Diffstat (limited to 'doc')
-rw-r--r--doc/handbook/gnunet.texi5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/handbook/gnunet.texi b/doc/handbook/gnunet.texi
index 05522d7d0..d688009a4 100644
--- a/doc/handbook/gnunet.texi
+++ b/doc/handbook/gnunet.texi
@@ -5,6 +5,11 @@
5@settitle GNUnet Reference Manual 5@settitle GNUnet Reference Manual
6@c @exampleindent 2 6@c @exampleindent 2
7 7
8@c macros for backwards compatibility
9@macro geq{}
10>=
11@end macro
12
8@c Set Versions which might be used in more than one place: 13@c Set Versions which might be used in more than one place:
9@set GNUFTP-URL https://ftp.gnu.org/gnu/gnunet 14@set GNUFTP-URL https://ftp.gnu.org/gnu/gnunet
10@set PYPI-URL https://pypi.python.org/packages/source 15@set PYPI-URL https://pypi.python.org/packages/source