diff options
Diffstat (limited to 'man/Makefile.in')
| -rw-r--r-- | man/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 7f31e0fca..296aae2de 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -309,7 +309,7 @@ mapped_name = `echo $*|sed 's/install/ginstall/; s/test/[/'` ASSORT = LC_ALL=C sort all_programs = \ (cd ../src && MAKEFLAGS= $(MAKE) -s all_programs.list) \ - | grep -v '\[' + | sed -e 's,$(EXEEXT)$$,,' | grep -v '\[' all: all-am |