# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1008934815 0
# Node ID 9709e1618364d63d721f6708d69419f7a4866d4f
# Parent  e5cf11c58b7193d9548dd5f3d28a62e2f05b7b2e
(distclean): Remove .gdbinit if we are building outside the source tree.

diff -r e5cf11c58b71 -r 9709e1618364 src/Makefile.in
--- a/src/Makefile.in	Fri Dec 21 11:07:49 2001 +0000
+++ b/src/Makefile.in	Fri Dec 21 11:40:15 2001 +0000
@@ -1171,6 +1171,9 @@
 /**/# 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."