comparison make-dist @ 86938:2c4cf44f634f

Fix last change.
author Romain Francoise <romain@orebokech.com>
date Sun, 02 Dec 2007 11:19:38 +0000
parents c9c2e3b42307
children 4424409d4223 53108e6cea98
comparison
equal deleted inserted replaced
86937:3f8c4cf66623 86938:2c4cf44f634f
573 echo "Making links to \`etc'" 573 echo "Making links to \`etc'"
574 ### Don't distribute = files, TAGS, DOC files, backups, autosaves, or 574 ### Don't distribute = files, TAGS, DOC files, backups, autosaves, or
575 ### tex litter. 575 ### tex litter.
576 (cd etc 576 (cd etc
577 files=`ls -d * | grep -v CVS | grep -v RCS | grep -v 'Old' | grep -v '^e$' \ 577 files=`ls -d * | grep -v CVS | grep -v RCS | grep -v 'Old' | grep -v '^e$' \
578 | grep -v '^images$' | grep -v '^refcards$' | grep -v '^tutorials$' \ 578 | grep -v '^gnus$' | grep -v '^images$' | grep -v '^nxml$' \
579 | grep -v '^gnus$' | grep -v '^schema$'` 579 | grep -v '^refcards$' | grep -v '^tutorials$'| grep -v '^schema$'`
580 ln $files ../${tempdir}/etc 580 ln $files ../${tempdir}/etc
581 ## If we ended up with a symlink, or if we did not get anything 581 ## If we ended up with a symlink, or if we did not get anything
582 ## due to a cross-device symlink, copy the file. 582 ## due to a cross-device symlink, copy the file.
583 for file in $files; do 583 for file in $files; do
584 if test -f ../${tempdir}/etc/$file; then 584 if test -f ../${tempdir}/etc/$file; then