From 7a2b3bb4bb84ff0091fa39f03d3c61d83f9a1e6c Mon Sep 17 00:00:00 2001
From: Vivien Kraus <vivien@planete-kraus.eu>
Date: Mon, 27 Sep 2021 11:14:38 +0200
Subject: build-system: change to the correct shebang for help2man later

---
 bootstrap       | 17 -----------------
 man/Makefile.am |  6 +++++-
 2 files changed, 5 insertions(+), 18 deletions(-)

diff --git a/bootstrap b/bootstrap
index 2c0e28e..d3aa2fa 100755
--- a/bootstrap
+++ b/bootstrap
@@ -19,27 +19,10 @@
 autoreconf -vif || exit 1
 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1
 
-## Prepare the man pages
-SCRIPTS_THAT_GET_EXECUTED="../src/disfluid"
-
 mkdir -p .native || exit 1
 cd .native || exit 1
 bash ../configure SHELL=$(which sh) || exit 1
-
-for file in $SCRIPTS_THAT_GET_EXECUTED
-do
-    cp $file ${file}.bak
-    sed -i "s|/usr/local/bin/guile|$(which guile)|g" $file || exit 1
-done
-
 make -j V=1 || exit 1
 make -j dist || exit 1
-
-for file in $SCRIPTS_THAT_GET_EXECUTED
-do
-    chmod u+w $file || exit 1
-    cp ${file}.bak $file || exit 1
-done
-
 cd .. || exit 1
 rm -rf .native || exit 1
diff --git a/man/Makefile.am b/man/Makefile.am
index cb6e589..b523b26 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -18,8 +18,12 @@ dist_man8_MANS = disfluid.man
 
 EXTRA_DIST = ./reset-env project
 
+CLEANFILES = disfluid-for-man
+
 disfluid.man: ../src/scm/webid-oidc/program.scm ../configure.ac
-	$(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) $(srcdir)/../src/disfluid > $@-t
+	@sed "s|/usr/local/bin/guile|$(GUILE)|g" $(srcdir)/../src/disfluid > disfluid-for-man
+	@chmod u+x disfluid-for-man
+	$(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) ./disfluid-for-man > $@-t
 	mv $@-t $(srcdir)/$@
 
 install-html-local: project
-- 
cgit v1.2.3