#!/bin/sh
set -e

realpath()
{
    oldpath=`pwd`
    if ! cd $1 > /dev/null 2>&1; then
        cd ${1##*/} > /dev/null 2>&1
        echo $( pwd -P )/${1%/*}
    else
        pwd -P
    fi
    cd $oldpath > /dev/null 2>&1
}

cd "$(realpath $(dirname "$0"))/.."

rm */LOCK &
rm -r texmf &
rm -rf luatex/luatex &
rm fmtdump/*.log &
rm fmtdump/*.fmt