diff options
author | ng0 <ng0@infotropique.org> | 2017-09-21 22:05:39 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-09-21 22:05:39 +0000 |
commit | 39a646231de8705d6078953c02ee74b5db7339ad (patch) | |
tree | a785848258bb21f7e660193ca1c78eab6356398d /doc/Makefile.am | |
parent | 37d4b1f14ebc692efe9a2744946ba2bfd8ccf6d3 (diff) |
doc/Makefile: It seems like this is necessary for now.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 07aafbb51..9cda25210 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -68,8 +68,12 @@ gnunet_tutorial_examples = \ 026.c info_TEXINFOS = \ - gnunet.texi \ - gnunet-c-tutorial.texi + gnunet.texi + +# It seems as if either we still have gnunet-c-tutorial markup issues +# or we have issues that can only occur in systems which are not using Guix +# or we have version incompabilities. +# gnunet-c-tutorial.texi gnunet_TEXINFOS = \ chapters/developer.texi \ |