# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 745048405 0
# Node ID 44de5ee465ae16003fde6bc9ceef7833cf056f09
# Parent  1abd3007cbb6c21314cb980fd343be02e06af69e
(do-install): Install info/gnus*.

diff -r 1abd3007cbb6 -r 44de5ee465ae Makefile.in
--- a/Makefile.in	Wed Aug 11 05:24:29 1993 +0000
+++ b/Makefile.in	Wed Aug 11 05:53:25 1993 +0000
@@ -364,7 +364,7 @@
 	     if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \
 	       ${INSTALL_DATA} dir ${infodir}/dir ; \
 	     fi ; \
-	     for f in cl* emacs* forms* info* vip* ; do \
+	     for f in cl* emacs* forms* gnus* info* vip* ; do \
 	       ${INSTALL_DATA} $$f ${infodir}/$$f ; \
 	     done); \
 	else true; fi