2009-02-28 Eli Zaretskii <eliz@gnu.org>
+ * config.bat: Copy .dbxinit to _dbxinit.
+
* make-dist (Making links to `info'): Remove .gitignore.
2009-02-28 Stefan Monnier <monnier@iro.umontreal.ca>
:maindir\r
Echo Configuring the main directory...\r
If Exist .dir-locals.el update .dir-locals.el _dir-locals.el\r
+If Exist src\.dbxinit update src/.dbxinit src/_dbxinit\r
If "%DJGPP_VER%" == "1" goto mainv1\r
Echo Looking for the GDB init file...\r
If Exist src\.gdbinit update src/.gdbinit src/_gdbinit\r