Fix last change.

2 files changed, 6 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index ac670e3665f..48ec799f87d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-12-02  Romain Francoise  <romain@orebokech.com>
+
+        * make-dist: Fix last change.
+
 2007-11-28  Petr Salinger  <Petr.Salinger@seznam.cz>  (tiny change)
 
         * configure.in: Add support for gnu-kfreebsd.
diff --git a/make-dist b/make-dist
index 733ce444aa4..6da62d83f21 100755
--- a/make-dist
+++ b/make-dist
@@ -575,8 +575,8 @@ echo "Making links to \`etc'"
 ### 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.