diff options
-rw-r--r-- | Doc/Makefile.in | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index f75e88bf5..51500d53b 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -171,13 +171,8 @@ install.man: $(MAN) tzsh=`echo zsh | sed '$(transform); s/,/\\\\,/g'`; \ for file in $(MAN); do \ tfile=`echo $$file | sed "s,zsh,$$tzsh,"`; \ - if test -f $$file; then \ - cp -f $$file $$tfile; \ - elif test -f $(sdir)/$$file; then \ - cp -f $(sdir)/$$file $$tfile; \ - else :; \ - fi || exit 1; \ - $(INSTALL_DATA) $$tfile $(DESTDIR)$(mandir)/man1 || exit 1; \ + sed "s/zshall/$${tzsh}all/; s/zshmisc/$${tzsh}misc/; s/zshexpn/$${tzsh}expn/; s/zshparam/$${tzsh}param/; s/zshoptions/$${tzsh}options/; s/zshbuiltins/$${tzsh}builtins/; s/zshzle/$${tzsh}zle/; s/zshcompwid/$${tzsh}compwid/; s/zshcompctl/$${tzsh}compctl/; s/zshmodules/$${tzsh}modules/; s/zshcompsys/$${tzsh}compsys/;" \ + $(sdir)/$$file >$(DESTDIR)$(mandir)/man1/$$tfile || exit 1; \ done # install info pages, creating install directory if necessary |