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"`
Use quotations to avoid word splitting. 2025-12-04 10:00:33 +01:00			`rm -f "$PREFIX/bin/indivisible"`
Install and uninstall scripts. 2021-03-03 18:54:12 +01:00			`echo "Remove $PREFIX/local/man/man1/indivisible.1.gz"`
Use quotations to avoid word splitting. 2025-12-04 10:00:33 +01:00			`rm -f "$PREFIX/share/man/man1/indivisible.1.gz"`