From e9da5db0434a2eefb1b7b605c9aa0b46ea1a8aff Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Mon, 7 Jan 2019 02:57:43 +0000
Subject: [PATCH] Clean .nib, .ext, and .dkp too.

---
 src/etc/Clean.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/etc/Clean.sh b/src/etc/Clean.sh
index fa1db7774..5e7b06d1c 100755
--- a/src/etc/Clean.sh
+++ b/src/etc/Clean.sh
@@ -89,14 +89,14 @@ fi
 for KEYWORD in ${KEYWORDS}; do
     case ${KEYWORD} in
     rm-bin)
-	maybe_rm *.bin *.ext
+	maybe_rm *.bin *.ext *.nib *.txe
 	;;
     rm-com)
 	maybe_rm *.com *.bci *.moc *.fni *.o *.so *.sl *.dylib
 	;;
     rm-pkg)
-	maybe_rm *-unx.crf *-unx.fre *-unx.pkd
-	maybe_rm *-w32.crf *-w32.fre *-w32.pkd
+	maybe_rm *-unx.crf *-unx.fre *-unx.pkd *-unx.dkp
+	maybe_rm *-w32.crf *-w32.fre *-w32.pkd *-w32.dkp
 	;;
     rm-c)
 	maybe_rm *.c
-- 
2.25.1