diff options
Diffstat (limited to 'uninstall.do')
-rw-r--r-- | uninstall.do | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/uninstall.do b/uninstall.do new file mode 100644 index 0000000..3347874 --- /dev/null +++ b/uninstall.do @@ -0,0 +1,14 @@ +. ./config.rc + +# Remove executables. +getbin | while read -r file; do + rm -f "${DESTDIR}${BINDIR}/${file##*/}" +done + +# Remove manual pages. +for man in man/*.1; do + rm -f "${DESTDIR}${MAN1}/${man##*/}" +done + +# Remove the info page. +rm -f "${DESTDIR}${INFODIR}/cpt.info" |