diff options
author | Romain Francoise <romain@orebokech.com> | 2007-12-02 11:19:38 +0000 |
---|---|---|
committer | Romain Francoise <romain@orebokech.com> | 2007-12-02 11:19:38 +0000 |
commit | 895637a25f574c6a30f9b0a6f87d8e766ed4a20b (patch) | |
tree | 90e1e29c79e4eae66324f3d363cc65a8624cc551 /make-dist | |
parent | 6e934713696901aa684776a9162a2e35de9d551d (diff) | |
download | emacs-895637a25f574c6a30f9b0a6f87d8e766ed4a20b.tar.gz |
Fix last change.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 2 insertions, 2 deletions
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. |