diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-09-27 11:14:38 +0200 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-01 12:32:20 +0200 |
| commit | 7a2b3bb4bb84ff0091fa39f03d3c61d83f9a1e6c (patch) | |
| tree | 69610899bf26b69871e56aecc0d46522e7c0e262 | |
| parent | e72987a9996d7764edb02b40e94703d8b5e5fac8 (diff) | |
build-system: change to the correct shebang for help2man later
| -rwxr-xr-x | bootstrap | 17 | ||||
| -rw-r--r-- | man/Makefile.am | 6 |
2 files changed, 5 insertions, 18 deletions
@@ -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 |