(distclean): Remove .gdbinit if we are building outside the source tree.

diff --git a/src/Makefile.in b/src/Makefile.in
index 18d3e783e1436c243cd1694f4105fdd892ee9785..978e2b35dca003af0f56dff8c33633b4aa89c428 100644 (file)
--- 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."