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 | |
| parent | 20210ce8d790dc90297375b1061681218addf567 (diff) | |
| download | gnunet-77a6ee5845dbd1e708fcd5a1ea9d03dc2fe088dc.tar.gz gnunet-77a6ee5845dbd1e708fcd5a1ea9d03dc2fe088dc.zip | |
more texinfo woes
Diffstat (limited to 'doc')
| -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 049aa7120..223a739f8 100644 --- a/doc/documentation/gnunet.texi +++ b/doc/documentation/gnunet.texi | |||
| @@ -6,7 +6,9 @@ | |||
| 6 | @documentencoding UTF-8 | 6 | @documentencoding UTF-8 |
| 7 | @settitle GNUnet Reference Manual | 7 | @settitle GNUnet Reference Manual |
| 8 | @exampleindent 2 | 8 | @exampleindent 2 |
| 9 | @urefbreakstyle before | 9 | @c It seems as if this breaks some old garbage version of |
| 10 | @c texinfo running on some systems. FIXME!!! | ||
| 11 | @c @urefbreakstyle before | ||
| 10 | @c %**end of header | 12 | @c %**end of header |
| 11 | 13 | ||
| 12 | @include version.texi | 14 | @include version.texi |