diff options
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 |