
rm -r unix
mkdir unix
mkdir unix/src
mkdir unix/include
mkdir unix/include/NTL
mkdir unix/doc

cp ../README unix/README

for i in $1
do
   cp $i unix/src/$i
done

for i in $2
do
   cp ../include/NTL/$i unix/include/NTL/$i
done



for i in $3
do
   cp ../doc/$i unix/doc/$i
done

cp ../include/NTL/def_config.h unix/include/NTL/config.h
cp def_makefile unix/src/makefile
sh ResetFeatures unix
