# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1235829766 0
# Node ID dc1b2f500b63c01e8b99cf1635f0b8f66d177a54
# Parent  e045d5cde9d4eec61d28f79de68219d900696c2b
Copy .dbxinit to _dbxinit.

diff -r e045d5cde9d4 -r dc1b2f500b63 config.bat
--- a/config.bat	Sat Feb 28 14:01:41 2009 +0000
+++ b/config.bat	Sat Feb 28 14:02:46 2009 +0000
@@ -270,6 +270,7 @@
 :maindir
 Echo Configuring the main directory...
 If Exist .dir-locals.el update .dir-locals.el _dir-locals.el
+If Exist src\.dbxinit update src/.dbxinit src/_dbxinit
 If "%DJGPP_VER%" == "1" goto mainv1
 Echo Looking for the GDB init file...
 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit