From b1039ed6d0b91b2c901fd651a7f5ddc64dbf202d Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 21 Dec 2001 12:39:25 +0000
Subject: [PATCH] Delete _gdbinit in distclean target.

---
 msdos/sed1v2.inp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/msdos/sed1v2.inp b/msdos/sed1v2.inp
index fdc9488397c..ddf06f613d1 100644
--- a/msdos/sed1v2.inp
+++ b/msdos/sed1v2.inp
@@ -45,4 +45,8 @@ s/\.h\.in/.h-in/
 /^[ 	]*$/d
 /^temacs:/s/prefix-args//
 /^temacs:/s/stamp-oldxmenu//
+/^	mv \.\/\.gdbinit/d
+/^	if test -f/c\
+	command.com /c if exist .gdbinit rm -f _gdbinit
+/^	else mv \.\/\.gdbinit/d
 /^	#/d
-- 
2.39.2