From a9f2ddd3dc0af3e10aca8287671cf4a5a922a48f Mon Sep 17 00:00:00 2001
From: Werner Lemberg <wl@gnu.org>
Date: Tue, 1 Aug 2000 08:43:44 +0000
Subject: [PATCH] Added a `distclean' target to remove files which are produced
 by the UNIX configure script (in case no config.mk has been created due to
 errors).

---
 Makefile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Makefile b/Makefile
index ab15cda14..4834fd405 100644
--- a/Makefile
+++ b/Makefile
@@ -82,6 +82,16 @@ ifdef check_platform
     setup: make_module_list
   endif
 
+  # This rule makes sense for Unix only to remove files created by a run
+  # of the configure script which hasn't been successful (so that no
+  # `config.mk' has been created).  It uses the built-in $(RM) command of
+  # GNU make.
+  #
+  distclean:
+	$(RM) builds/unix/config.cache
+	$(RM) builds/unix/config.log
+	$(RM) builds/unix/config.status
+
   # IMPORTANT:
   #
   # `setup' must be defined by the host platform detection rules to create