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) | |
download | gnunet-39a646231de8705d6078953c02ee74b5db7339ad.tar.gz gnunet-39a646231de8705d6078953c02ee74b5db7339ad.zip |
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 = \ | |||
68 | 026.c | 68 | 026.c |
69 | 69 | ||
70 | info_TEXINFOS = \ | 70 | info_TEXINFOS = \ |
71 | gnunet.texi \ | 71 | gnunet.texi |
72 | gnunet-c-tutorial.texi | 72 | |
73 | # It seems as if either we still have gnunet-c-tutorial markup issues | ||
74 | # or we have issues that can only occur in systems which are not using Guix | ||
75 | # or we have version incompabilities. | ||
76 | # gnunet-c-tutorial.texi | ||
73 | 77 | ||
74 | gnunet_TEXINFOS = \ | 78 | gnunet_TEXINFOS = \ |
75 | chapters/developer.texi \ | 79 | chapters/developer.texi \ |