doc/handboc: backport a newer makeinfo macro
authorng0 <ng0@n0.is>
Sat, 9 Feb 2019 14:21:29 +0000 (14:21 +0000)
committerng0 <ng0@n0.is>
Sat, 9 Feb 2019 14:22:55 +0000 (14:22 +0000)
commitd0ced1e47e01a2e1c70f2c1199321d080a493675
tree08402ffe60fce3051f699f5c67426e80a72a9fc8
parentcf3fe60e3977d7631996089377a494e25d191726
doc/handboc: backport a newer makeinfo macro

Signed-off-by: ng0 <ng0@n0.is>
README
doc/handbook/gnunet.texi