diff options
-rw-r--r-- | ChangeLog | 2 | ||||
-rw-r--r-- | Doc/Makefile.in | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 7c0cc35f9..b42ea1843 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2008-04-26 Peter Stephenson <p.w.stephenson@ntlworld.com> + * 24876: don't install manual pages if empty. + * 24872: Jun T.: Fix capitalization with combining characters. * 24869: Marc Chantreux: configure.ac, Src/init.c: make default 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 |