diff options
Diffstat (limited to 'uninstall.do')
-rw-r--r-- | uninstall.do | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/uninstall.do b/uninstall.do deleted file mode 100644 index 3347874..0000000 --- a/uninstall.do +++ /dev/null @@ -1,14 +0,0 @@ -. ./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" |