* Makefile.in (install-man): Ignore gzip exit status.
authorGlenn Morris <rgm@gnu.org>
Tue, 5 Mar 2013 03:43:52 +0000 (19:43 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 5 Mar 2013 03:43:52 +0000 (19:43 -0800)
commitb3cdfd9e06a5647767fbbb6448da6f9039fbf787
treea24d2b4c9ca21586b3db692f9882f58d61cfae76
parenta318f81169dc608d407a48a445ccdb16118b81d0
* Makefile.in (install-man): Ignore gzip exit status.
ChangeLog
Makefile.in