martin/emacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Copy .dbxinit to _dbxinit.

Browse Source
This commit is contained in:
Eli Zaretskii
2009-02-28 14:04:58 +00:00
parent 291f6a31ae
commit 1685daf251
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ChangeLog
View File

@@ -1,5 +1,7 @@
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>

1
config.bat
View File

@@ -270,6 +270,7 @@ rem ----------------------------------------------------------------------
: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