diff make-dist @ 86938:2c4cf44f634f

Fix last change.

--- a/make-dist	Sun Dec 02 04:09:45 2007 +0000
+++ b/make-dist	Sun Dec 02 11:19:38 2007 +0000
@@ -575,8 +575,8 @@
 ### tex litter.
 (cd etc
  files=`ls -d * | grep -v CVS | grep -v RCS | grep -v 'Old' | grep -v '^e$' \
-        | grep -v '^images$' | grep -v '^refcards$' | grep -v '^tutorials$' \
-        | grep -v '^gnus$' | grep -v '^schema$'`
+        | grep -v '^gnus$' | grep -v '^images$' | grep -v '^nxml$' \
+        | grep -v '^refcards$' | grep -v '^tutorials$'| grep -v '^schema$'`
  ln $files ../${tempdir}/etc
  ## If we ended up with a symlink, or if we did not get anything
  ## due to a cross-device symlink, copy the file.