From 25b02e446f046ed53737e42b52325ba0a65031df Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Sat, 5 Oct 2013 20:53:11 +0000
Subject: [PATCH] Remove Makefile.boot on distclean too.

---
 src/Clean.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/Clean.sh b/src/Clean.sh
index 2f14ccd57..4663da273 100755
--- a/src/Clean.sh
+++ b/src/Clean.sh
@@ -69,7 +69,12 @@ if [ ${FULL} = yes ]; then
 fi
 
 if [ ${DIST} = yes ]; then
-    maybe_rm Makefile boot-lib config.cache config.log config.status
+    maybe_rm Makefile
+    maybe_rm Makefile.boot
+    maybe_rm boot-lib           # XXX What's this?
+    maybe_rm config.cache
+    maybe_rm config.log
+    maybe_rm config.status
 fi
 
 if [ ${MAINTAINER} = yes ]; then
-- 
2.25.1