2006-07-18 16:45:57 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
1985-04-14 23:26:24 +00:00
|
|
|
set -e
|
|
|
|
|
for i in `tail +2 $DESTDIR/$1/LIST`
|
|
|
|
|
do
|
|
|
|
|
${DF-false} $1 $i
|
|
|
|
|
done
|
|
|
|
|
cd $DESTDIR/$1
|
1991-12-19 10:32:01 +00:00
|
|
|
arch cDr `cat LIST`
|
1985-04-14 23:26:24 +00:00
|
|
|
: I do not remove the files constituating the library, because
|
|
|
|
|
: they might be present in .distr
|
