From 77a6ee5845dbd1e708fcd5a1ea9d03dc2fe088dc Mon Sep 17 00:00:00 2001 From: ng0 Date: Wed, 3 Jan 2018 14:40:03 +0000 Subject: [PATCH] more texinfo woes --- doc/documentation/gnunet.texi | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi index 049aa7120..223a739f8 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 -- 2.25.1