diff --git a/tools/make-extra-dist.sh b/tools/make-extra-dist.sh index 4c5f47041299bfc56031674e8bfaceb9dab06c5e..3f846088b8ad0079aaab3871af4163c1de95eaed 100755 --- a/tools/make-extra-dist.sh +++ b/tools/make-extra-dist.sh @@ -122,12 +122,12 @@ do done # Install po files. (Do we really need to distribute the po files?) -for f in `(cd $TARGET/i18n; find locale -type f -print | egrep -v 'CVS|~.*~|.*~')` -do - FILE=`basename $f` - DIR=`dirname $f` - install ${GROUP} ${OWNER} -m 0644 $TARGET/i18n/$f $DESTDIR/lib/cmucl/lib/$DIR -done +#for f in `(cd $TARGET/i18n; find locale -type f -print | egrep -v 'CVS|~.*~|.*~')` +#do +# FILE=`basename $f` +# DIR=`dirname $f` +# install ${GROUP} ${OWNER} -m 0644 $TARGET/i18n/$f $DESTDIR/lib/cmucl/lib/$DIR +#done if [ -z "$INSTALL_DIR" ]; then sync ; sleep 1 ; sync ; sleep 1 ; sync