changeset 4552:44de5ee465ae

(do-install): Install info/gnus*.
author Richard M. Stallman <rms@gnu.org>
date Wed, 11 Aug 1993 05:53:25 +0000
parents 1abd3007cbb6
children ceb140c16ad2
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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