Compress info files when installing them.

diff --git a/v7/doc/imail/Makefile.in b/v7/doc/imail/Makefile.in
index 75ec8cdad698bacba18773bb77250917a0f4bebc..c6e6fd24cae532fee4b2d5d332dc3862cf6586cf 100644 (file)
--- a/v7/doc/imail/Makefile.in
+++ b/v7/doc/imail/Makefile.in
@@ -1,5 +1,5 @@
 
-# $Id: Makefile.in,v 1.1 2000/12/08 21:01:23 cph Exp $
+# $Id: Makefile.in,v 1.2 2000/12/19 21:14:29 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -106,7 +106,9 @@ maintainer-clean: distclean
 # makefile in the top-level documentation directory.
 
 install-info: imail.info
+       -rm -f $(DESTDIR)$(infodir)/imail.info*
        $(INSTALL_DATA) imail.info* $(DESTDIR)$(infodir)/.
+       gzip -v $(DESTDIR)$(infodir)/imail.info*
 
 install-html: imail.html
        $(INSTALL_DATA) imail*.html $(DESTDIR)$(htmldir)/.

diff --git a/v7/doc/ref-manual/Makefile.in b/v7/doc/ref-manual/Makefile.in
index 1fc610993970326e890b870ba608c3480498a9d5..c913aa4432930fcbe17bdf90a37f6c9e87917158 100644 (file)
--- a/v7/doc/ref-manual/Makefile.in
+++ b/v7/doc/ref-manual/Makefile.in
@@ -1,5 +1,5 @@
 
-# $Id: Makefile.in,v 1.1 2000/12/08 21:01:23 cph Exp $
+# $Id: Makefile.in,v 1.2 2000/12/19 21:14:40 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -106,7 +106,9 @@ maintainer-clean: distclean
 # makefile in the top-level documentation directory.
 
 install-info: scheme.info
+       -rm -f $(DESTDIR)$(infodir)/scheme.info*
        $(INSTALL_DATA) scheme.info* $(DESTDIR)$(infodir)/.
+       gzip -v $(DESTDIR)$(infodir)/scheme.info*
 
 install-html: scheme.html
        $(INSTALL_DATA) scheme*.html $(DESTDIR)$(htmldir)/.

diff --git a/v7/doc/sos/Makefile.in b/v7/doc/sos/Makefile.in
index 54c36cf18d7a4f235e51f6bfb2354e82f10acf06..362082594707b6bfed18d2cd60bc843a8fa70111 100644 (file)
--- a/v7/doc/sos/Makefile.in
+++ b/v7/doc/sos/Makefile.in
@@ -1,5 +1,5 @@
 
-# $Id: Makefile.in,v 2.1 2000/12/08 21:01:23 cph Exp $
+# $Id: Makefile.in,v 2.2 2000/12/19 21:14:35 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -106,7 +106,9 @@ maintainer-clean: distclean
 # makefile in the top-level documentation directory.
 
 install-info: sos.info
+       -rm -f $(DESTDIR)$(infodir)/sos.info*
        $(INSTALL_DATA) sos.info* $(DESTDIR)$(infodir)/.
+       gzip -v $(DESTDIR)$(infodir)/sos.info*
 
 install-html: sos.html
        $(INSTALL_DATA) sos*.html $(DESTDIR)$(htmldir)/.

diff --git a/v7/doc/user-manual/Makefile.in b/v7/doc/user-manual/Makefile.in
index 7bce3311501db663b94e5df5a5b39d7f35a01420..1adadee396413f81bbc15651214a27ed8c0343fd 100644 (file)
--- a/v7/doc/user-manual/Makefile.in
+++ b/v7/doc/user-manual/Makefile.in
@@ -1,5 +1,5 @@
 
-# $Id: Makefile.in,v 1.1 2000/12/08 21:01:23 cph Exp $
+# $Id: Makefile.in,v 1.2 2000/12/19 21:14:24 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -106,7 +106,9 @@ maintainer-clean: distclean
 # makefile in the top-level documentation directory.
 
 install-info: user.info
+       -rm -f $(DESTDIR)$(infodir)/user.info*
        $(INSTALL_DATA) user.info* $(DESTDIR)$(infodir)/.
+       gzip -v $(DESTDIR)$(infodir)/user.info*
 
 install-html: user.html
        $(INSTALL_DATA) user*.html $(DESTDIR)$(htmldir)/.