#!/bin/sh

TARGET="$SAGE_ROOT/data/kohel/"


if [ -d "$TARGET" ]; then
    mv "$TARGET" ../old
fi

mkdir "$TARGET"

mv Pol* "$TARGET"/



