changeset 85779:7a2e26f2fa76

Add new directory etc/gnus.
author Glenn Morris <rgm@gnu.org>
date Tue, 30 Oct 2007 06:22:29 +0000
parents a10cd5f73208
children 1b8904c5babf
files make-dist
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Tue Oct 30 06:22:21 2007 +0000
+++ b/make-dist	Tue Oct 30 06:22:29 2007 +0000
@@ -318,7 +318,7 @@
 	      leim/SKK-DIC leim/ja-dic leim/quail \
 	      src src/m src/s src/bitmaps lib-src oldXMenu lwlib \
 	      nt nt/inc nt/inc/sys nt/inc/arpa nt/inc/netinet nt/icons \
-	      etc etc/e \
+	      etc etc/e etc/gnus \
 	      etc/images etc/images/ezimage etc/images/gnus etc/images/gud \
 	      etc/images/icons etc/images/low-color etc/images/mail \
 	      etc/images/smilies etc/images/smilies/grayscale \
@@ -598,7 +598,7 @@
  rm -f DOC* *~ \#*\# *.dvi *.log *.orig *.rej *,v =* core
  rm -f TAGS)
 
-for dir in etc/e etc/tutorials etc/refcards ; do
+for dir in etc/e etc/gnus etc/tutorials etc/refcards ; do
     echo "Making links to \`${dir}'"
     (cd ${dir}
 	ln `ls -d * | grep -v CVS | grep -v RCS` ../../${tempdir}/${dir}