#! /bin/bash
#
# Remove argument 2, as long as it isn't the same as argument 1
# (Used by script mtcan.)
#
if [ "$1" != "$2" ] ; then rm -r "$2" ; fi