Produce _dir-locals.el from .dir-locals.el.

745ebc13 · Eli Zaretskii · 2e480e42 · 745ebc13 · 745ebc13
Commit 745ebc13 authored Dec 26, 2008 by Eli Zaretskii
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

ChangeLog ChangeLog +4 -0

config.bat config.bat +1 -0

No files found.
--- a/ChangeLog
+++ b/ChangeLog
+2008-12-26  Eli Zaretskii  <eliz@gnu.org>
+
+	* config.bat: Produce _dir-locals.el from .dir-locals.el.
+
 2008-12-23  Dan Nicolaescu  <dann@ics.uci.edu>

 	* make-dist (tempdir): Distribute .dir-locals.el.

--- a/config.bat
+++ b/config.bat
@@ -269,6 +269,7 @@ cd ..
 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