diff options
Diffstat (limited to 'man/Makefile.am')
| -rw-r--r-- | man/Makefile.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 2cc975884..c719dfc75 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -125,15 +125,15 @@ mapped_name = `echo $*|sed 's/install/ginstall/; s/test/[/'` # That is necessary to avoid failures for programs that are also shell built-in # functions like echo, false, printf, pwd. .x.1: - rm -f $@ + @rm -f $@ @echo "Updating man page $@"; \ mkdir $t; \ (cd $t && $(LN_S) ../../src/$(mapped_name)$(EXEEXT) $*$(EXEEXT)); \ $(HELP2MAN) \ --include=$(srcdir)/$*.x \ - --output=$@ $t/$*$(EXEEXT); \ - chmod a-w $@ - rm -rf $t + --output=$@ $t/$*$(EXEEXT) + @chmod a-w $@ + @rm -rf $t check-local: check-x-vs-1 check-programs-vs-x |