[gnunet] branch master updated: DOC: Fix dist missing makefile

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 460f0d77b DOC: Fix dist missing makefile
460f0d77b is described below

commit 460f0d77bc448909da1d673f4540b73a936af44f
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Thu Aug 11 08:06:28 2022 +0200

    DOC: Fix dist missing makefile
---
 doc/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index d0c4d8b3e..38bf23733 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -34,6 +34,7 @@ EXTRA_DIST =                                                  
\
        sphinx/man_developers \
        sphinx/man_users \
        sphinx/preface.rst \
-       sphinx/_static
+       sphinx/_static \
+       sphinx/Makefile
 
 

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.