changeset 100693:54e798f3d697

Produce _dir-locals.el from .dir-locals.el.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 26 Dec 2008 15:03:18 +0000
parents 56d9b285d794
children 654edcb8cc62
files config.bat
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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