From 607eac6efbf6b7344529c3b5c0f52f98691b41b9 Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Sat, 26 Apr 2008 19:48:26 +0000 Subject: 24876: Jun T.: don't install manual pages if empty --- Doc/Makefile.in | 1 + 1 file changed, 1 insertion(+) (limited to 'Doc/Makefile.in') 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 -- cgit 1.4.1