#!/bin/sh
PREFIX="/usr/local"
echo "Remove $PREFIX/bin/indivisible"
rm -f $PREFIX/bin/indivisible
echo "Remove $PREFIX/local/man/man1/indivisible.1.gz"
rm -f $PREFIX/local/man/man1/indivisible.1.gz