#!/bin/sh

TARGET="$SAGE_ROOT/extra_docs"
if [ ! -d "$TARGET" ]; then
    mkdir "$TARGET"
else
    if [ ! -d "$TARGET/old" ]; then
       mkdir "$TARGET/old"
    fi
    mv "$TARGET/"/* "$TARGET/old/"
fi 



HERE=`pwd`

cd "$TARGET"

cp -r "$HERE"/* .
rm spkg-install

# Create a symlink so that online documentation
# works in Gap.
cd $SAGE_LOCAL/lib/gap-4.4.7/
ln -s ../../../extra_docs/gap ./doc

echo "************************************************************"
echo ""
echo "Extra documentation is now installed in:"
echo "      $TARGET"
echo ""
echo "************************************************************"
