[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] 02/02: chmod +x generated script
|
From: |
gnunet |
|
Subject: |
[gnunet] 02/02: chmod +x generated script |
|
Date: |
Mon, 25 Nov 2019 23:04:00 +0100 |
This is an automated email from the git hooks/post-receive script.
ng0 pushed a commit to branch master
in repository gnunet.
commit 868ad5f875f8e7b271d20b77c7ef47ec53fe187c
Author: ng0 <address@hidden>
AuthorDate: Mon Nov 25 22:00:47 2019 +0000
chmod +x generated script
---
doc/man/Makefile.am | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 69e42bc9d..601a85555 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -29,6 +29,7 @@ if HAVE_MANDOC
# nonfunctional.
produce_html.sh: produce_html.sh.in Makefile
$(do_subst_pkgdatadir) < $(srcdir)/produce_html.sh.in > produce_html.sh
+ @chmod +x produce_html.sh
CLEANFILES += produce_html.sh
--
To stop receiving notification emails like this one, please contact
address@hidden.