1 files changed, 5 insertions, 0 deletions
diff --git a/uninstall.do b/uninstall.do
index d2f4585..3347874 100644
--- a/uninstall.do
+++ b/uninstall.do
@@ -1,9 +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"