chmod +x generated script

author ng0 <ng0@n0.is>

Mon, 25 Nov 2019 22:00:47 +0000 (22:00 +0000)

committer ng0 <ng0@n0.is>

Mon, 25 Nov 2019 22:00:47 +0000 (22:00 +0000)
author ng0 <ng0@n0.is>
Mon, 25 Nov 2019 22:00:47 +0000 (22:00 +0000)
committer ng0 <ng0@n0.is>
Mon, 25 Nov 2019 22:00:47 +0000 (22:00 +0000)
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am

index 69e42bc9d574c6ff4d768e5f00c9120437bd63e9..601a85555feeeff8342ac4efdc0e2ea6eaccda66 100644 (file)
--- 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