#!/bin/sh

TARGET="$SAGE_ROOT/data/kohel/"

if [ ! -d "$TARGET" ]; then
    mkdir $TARGET
fi

mv Pol* $TARGET/



