diff options
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index eb0998954..d6bc66f3f 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -43,7 +43,7 @@ endif | |||
43 | 43 | ||
44 | EXTRA_DIST = \ | 44 | EXTRA_DIST = \ |
45 | $(man_MANS) \ | 45 | $(man_MANS) \ |
46 | sphinx/_build/texinfo \ | 46 | sphinx/_build/texinfo/gnunet.info \ |
47 | system_specific/outdated-and-old-installation-instructions.txt \ | 47 | system_specific/outdated-and-old-installation-instructions.txt \ |
48 | system_specific/FROM_SOURCE \ | 48 | system_specific/FROM_SOURCE \ |
49 | sphinx/_build/html \ | 49 | sphinx/_build/html \ |