diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index ef1d2dd64..552e615ab 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -481,13 +481,15 @@ yes.1: $(common_dep) $(srcdir)/yes.x ../src/yes.c # That is necessary to avoid failures for programs that are also shell built-in # functions like echo, false, printf, pwd. .x.1: + @rm -f $@ @echo "Updating man page $@"; \ mkdir $t; \ (cd $t && $(LN_S) ../../src/$(mapped_name)$(EXEEXT) $*$(EXEEXT)); \ $(HELP2MAN) \ --include=$(srcdir)/$*.x \ - --output=$@ $t/$*$(EXEEXT); \ - rm -rf $t + --output=$@ $t/$*$(EXEEXT) + @chmod a-w $@ + @rm -rf $t check-local: check-x-vs-1 check-programs-vs-x |