changeset 86616:c9c2e3b42307

Add etc/nxml.
author Glenn Morris <rgm@gnu.org>
date Wed, 28 Nov 2007 05:02:47 +0000
parents 146707e036bd
children 1cd610d94f44
files make-dist
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Wed Nov 28 05:02:42 2007 +0000
+++ b/make-dist	Wed Nov 28 05:02:47 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/gnus \
+	      etc etc/e etc/gnus etc/nxml \
 	      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 \
@@ -599,7 +599,7 @@
  rm -f DOC* *~ \#*\# *.dvi *.log *.orig *.rej *,v =* core
  rm -f TAGS)
 
-for dir in etc/e etc/gnus etc/tutorials etc/refcards etc/schema ; do
+for dir in etc/e etc/gnus etc/nxml etc/tutorials etc/refcards etc/schema ; do
     echo "Making links to \`${dir}'"
     (cd ${dir}
 	ln `ls -d * | grep -v CVS | grep -v RCS` ../../${tempdir}/${dir}