Fix last change.

diff --git a/ChangeLog b/ChangeLog
index ac670e3665fb11e78d3ed70e1ff1614900faecef..48ec799f87d9d90da647b35988e508af06f9357a 100644 (file)
--- 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 733ce444aa489517fdf6355a1b13a505bcb18432..6da62d83f21d929c6be23c8f471d1b5407aee695 100755 (executable)
--- 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.