1#!/bin/sh 2set -eu 3cd -- "$(dirname "$0")/.." 4. ./scripts/lib.sh 5 6main() { 7 ensure_prefix_sh_c 8 9 ensure_os 10 if [ "$OS" = windows ]; then 11 "$sh_c" rm -f "$PREFIX/bin/d2.exe" 12 else 13 "$sh_c" rm -f "$PREFIX/bin/d2" 14 fi 15 16 "$sh_c" rm -f "$PREFIX/share/man/man1/d2.1" 17} 18 19main "$@"