#!/bin/sh

if [ "$SAGE_ROOT" = "" ]; then
   SAGE_ROOT="`pwd`/../../../"
fi

if [ ! -f "$SAGE_ROOT/sage" ]; then
    echo "Please set the environment variable SAGE_ROOT."
fi

echo "Using SAGE_ROOT: $SAGE_ROOT"

PATH="$SAGE_ROOT:$SAGE_ROOT/local/bin/":$PATH
export PATH


#rm -f log *.aux *.log *.toc *.syn

./update_script.py -f

