From f2ecf18a8e1b1167bb20d76774496489aa7284e6 Mon Sep 17 00:00:00 2001
From: Ted Horst <ted.horst@earthlink.net>
Date: Sat, 13 Jul 2013 13:56:08 -0500
Subject: [PATCH] remove new man pages on make uninstall

---
 mk/install.mk | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mk/install.mk b/mk/install.mk
index 2eb2ad47db406..fbd01e731bd75 100644
--- a/mk/install.mk
+++ b/mk/install.mk
@@ -183,7 +183,11 @@ uninstall:
         do rm -f $$i ; \
         done
 	$(Q)rm -Rf $(PHL)/rustc
+	$(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rust.1
 	$(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rustc.1
+	$(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rustdoc.1
+	$(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rusti.1
+	$(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rustpkg.1
 
 # target platform specific variables
 # for arm-linux-androidabi