* Makefile.in (install-man): Ignore gzip exit status.