[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: DOC: Fix dist missing makefile
From: |
gnunet |
Subject: |
[gnunet] branch master updated: DOC: Fix dist missing makefile |
Date: |
Thu, 11 Aug 2022 08:06:34 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnunet] branch master updated: DOC: Fix dist missing makefile,
gnunet <=