diff options
Diffstat (limited to 'man/Makefile.am')
| -rw-r--r-- | man/Makefile.am | 6 |
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 |