From 966bda3ad5207fd2f88ba681019b8d37fd2a05e7 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 21 Dec 2001 11:40:15 +0000
Subject: [PATCH] (distclean): Remove .gdbinit if we are building outside the
 source tree.

---
 src/Makefile.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Makefile.in b/src/Makefile.in
index 18d3e783e14..978e2b35dca 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1171,6 +1171,9 @@ clean: mostlyclean
 /**/# Do not use it on development directories!
 distclean: clean
 	rm -f epaths.h config.h Makefile Makefile.c config.stamp stamp-oldxmenu ../etc/DOC-*
+	mv ./.gdbinit ./.gdbinit.save
+	if test -f "${srcdir}/.gdbinit"; then rm -f ./.gdbinit.save; \
+	else mv ./.gdbinit.save ./.gdbinit; fi
 maintainer-clean: distclean
 	@echo "This command is intended for maintainers to use;"
 	@echo "it deletes files that may require special tools to rebuild."
-- 
2.39.5