# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1230303798 0
# Node ID 54e798f3d69785e11ae058e2deca62e40bd43d20
# Parent  56d9b285d79466f24dcf8dc0409a1f320ccba2ca
Produce _dir-locals.el from .dir-locals.el.

diff -r 56d9b285d794 -r 54e798f3d697 config.bat
--- a/config.bat	Fri Dec 26 15:02:47 2008 +0000
+++ b/config.bat	Fri Dec 26 15:03:18 2008 +0000
@@ -269,6 +269,7 @@
 rem   ----------------------------------------------------------------------
 :maindir
 Echo Configuring the main directory...
+If Exist .dir-locals.el update .dir-locals.el _dir-locals.el
 If "%DJGPP_VER%" == "1" goto mainv1
 Echo Looking for the GDB init file...
 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit