diff options
author | ng0 <ng0@n0.is> | 2019-02-09 14:21:29 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-02-09 14:22:55 +0000 |
commit | d0ced1e47e01a2e1c70f2c1199321d080a493675 (patch) | |
tree | 08402ffe60fce3051f699f5c67426e80a72a9fc8 /doc/handbook/gnunet.texi | |
parent | cf3fe60e3977d7631996089377a494e25d191726 (diff) | |
download | gnunet-d0ced1e47e01a2e1c70f2c1199321d080a493675.tar.gz gnunet-d0ced1e47e01a2e1c70f2c1199321d080a493675.zip |
doc/handboc: backport a newer makeinfo macro
Signed-off-by: ng0 <ng0@n0.is>
Diffstat (limited to 'doc/handbook/gnunet.texi')
-rw-r--r-- | doc/handbook/gnunet.texi | 5 |
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 |