diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2008-04-26 19:48:26 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2008-04-26 19:48:26 +0000 |
| commit | 607eac6efbf6b7344529c3b5c0f52f98691b41b9 (patch) | |
| tree | 26ba05e951966d9c49e1c13d967f6e156894bd8d /Doc/Makefile.in | |
| parent | c8b6d1a239772aad349412e02d0291d3b64edb72 (diff) | |
| download | zsh-607eac6efbf6b7344529c3b5c0f52f98691b41b9.tar.gz zsh-607eac6efbf6b7344529c3b5c0f52f98691b41b9.tar.xz zsh-607eac6efbf6b7344529c3b5c0f52f98691b41b9.zip | |
24876: Jun T.: don't install manual pages if empty
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index cfe7a6dde..0368ab3e3 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -278,6 +278,7 @@ uninstall: uninstall.man install.man: man ${SHELL} $(sdir_top)/mkinstalldirs $(DESTDIR)$(mandir)/man1 for file in $(MAN); do \ + test -s $(sdir)/$$file || exit 1; \ $(INSTALL_DATA) $(sdir)/$$file $(DESTDIR)$(mandir)/man1/`echo $$file | sed 's|zsh|$(tzsh)|'` || exit 1; \ done .PHONY: install.man |