uninstall

#!/bin/sh
PREFIX="${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/share/man/man1/indivisible.1.gz
Install and uninstall scripts. 2021-03-03 18:54:12 +01:00			`#!/bin/sh`
Fix setting default PREFIX in (un)install scripts. 2025-12-04 09:59:35 +01:00			`PREFIX="${PREFIX:-/usr/local}"`
Install and uninstall scripts. 2021-03-03 18:54:12 +01:00			`echo "Remove $PREFIX/bin/indivisible"`
			`rm -f $PREFIX/bin/indivisible`
			`echo "Remove $PREFIX/local/man/man1/indivisible.1.gz"`
Fix setting default PREFIX in (un)install scripts. 2025-12-04 09:59:35 +01:00			`rm -f $PREFIX/share/man/man1/indivisible.1.gz`