diff options
author | ng0 <ng0@n0.is> | 2018-01-03 14:40:03 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2018-01-03 14:40:03 +0000 |
commit | 77a6ee5845dbd1e708fcd5a1ea9d03dc2fe088dc (patch) | |
tree | 75bf91d64ec778e6b7981449cd54b10b417975ba /doc/documentation/gnunet.texi | |
parent | 20210ce8d790dc90297375b1061681218addf567 (diff) |
more texinfo woes
Diffstat (limited to 'doc/documentation/gnunet.texi')
-rw-r--r-- | doc/documentation/gnunet.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi index 049aa71201..223a739f85 100644 --- a/doc/documentation/gnunet.texi +++ b/doc/documentation/gnunet.texi @@ -6,7 +6,9 @@ @documentencoding UTF-8 @settitle GNUnet Reference Manual @exampleindent 2 -@urefbreakstyle before +@c It seems as if this breaks some old garbage version of +@c texinfo running on some systems. FIXME!!! +@c @urefbreakstyle before @c %**end of header @include version.texi |