diff Makefile.in @ 4552:44de5ee465ae

(do-install): Install info/gnus*.
author Richard M. Stallman <rms@gnu.org>
date Wed, 11 Aug 1993 05:53:25 +0000
parents a91cdccf5458
children 521dc133f58b
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