diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 2b2805232..ec5284b24 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -156,13 +156,13 @@ mapped_name = `echo $*|sed 's/^install$$/ginstall/; s/^test$$/[/'` *) \ rm -f $@ \ && { echo "Updating man page $@"; \ - rm -rf $t; \ - mkdir $t; \ - (cd $t && $(LN_S) ../../src/$(mapped_name) $*); \ - $(PERL) -- $(srcdir)/help2man \ - --source='$(PACKAGE_STRING)' \ - --include=$(srcdir)/$*.x \ - --output=$t/$@ $t/$*; \ + rm -rf $t; \ + mkdir $t; \ + (cd $t && $(LN_S) ../../src/$(mapped_name) $*); \ + $(PERL) -- $(srcdir)/help2man \ + --source='$(PACKAGE_STRING)' \ + --include=$(srcdir)/$*.x \ + --output=$t/$@ $t/$*; \ } \ && sed 's|$*\.td/||g' $t/$@ > $@ \ && rm -rf $t ;; \ |