diff options
-rw-r--r-- | man/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 9e47b4cde..194c5a983 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -124,10 +124,10 @@ mapped_name = `echo $*|sed 's/install/ginstall/'` .x.1: @echo "Updating man page $@"; \ mkdir $t; \ - ln -s ../../src/$(mapped_name) $t/$*; \ + (cd $t && $(LN_S) ../../src/$(mapped_name)$(EXEEXT) $*$(EXEEXT)); \ $(HELP2MAN) \ --include=$(srcdir)/$*.x \ - --output=$@ $t/$*; \ + --output=$@ $t/$*$(EXEEXT); \ rm -rf $t check-local: check-x-vs-1 |