summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2021-09-27 11:14:38 +0200
committerVivien Kraus <vivien@planete-kraus.eu>2021-10-01 12:32:20 +0200
commit7a2b3bb4bb84ff0091fa39f03d3c61d83f9a1e6c (patch)
tree69610899bf26b69871e56aecc0d46522e7c0e262 /man
parente72987a9996d7764edb02b40e94703d8b5e5fac8 (diff)
build-system: change to the correct shebang for help2man later
Diffstat (limited to 'man')
-rw-r--r--man/Makefile.am6
1 files changed, 5 insertions, 1 deletions
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