From 39a646231de8705d6078953c02ee74b5db7339ad Mon Sep 17 00:00:00 2001 From: ng0 Date: Thu, 21 Sep 2017 22:05:39 +0000 Subject: [PATCH] doc/Makefile: It seems like this is necessary for now. --- doc/Makefile.am | 8 ++++++-- 1 file 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 \ -- 2.25.1