[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: -fix make dist
From: |
gnunet |
Subject: |
[gnunet] branch master updated: -fix make dist |
Date: |
Sat, 10 Sep 2022 11:59:22 +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 3babda033 -fix make dist
3babda033 is described below
commit 3babda033edcb0a80d8cb2674705017c30f7ba15
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sat Sep 10 11:59:19 2022 +0200
-fix make dist
---
doc/Makefile.am | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/Makefile.am b/doc/Makefile.am
index aa83ce675..f4a0e4dcd 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -32,8 +32,8 @@ EXTRA_DIST =
\
sphinx/installing.rst \
sphinx/livingstandards.rst \
sphinx/make.bat \
- sphinx/man_developers \
- sphinx/man_users \
+ sphinx/developers \
+ sphinx/users \
sphinx/preface.rst \
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: -fix make dist,
gnunet <=