Use backslashes where DOS requires it.

diff --git a/config.bat b/config.bat
index affba453fcb9e7a8423dfd8a3a03497b52c636a7..a3660d577cdc329f67cb982bcdbdb9903cda67ca 100644 (file)
--- a/config.bat
+++ b/config.bat
@@ -275,10 +275,10 @@ for %%d in (emacs lispref lispintro lispintr misc) do sed -f ../msdos/sed6.inp <
 cd ..\r
 rem   ----------------------------------------------------------------------\r
 Echo Configuring the lib directory...\r
-If Exist build-aux/snippet/c++defs.h update build-aux/snippet/c++defs.h build-aux/snippet/cxxdefs.h\r
+If Exist build-aux\snippet\c++defs.h update build-aux/snippet/c++defs.h build-aux/snippet/cxxdefs.h\r
 cd lib\r
 Rem Rename files like djtar on plain DOS filesystem would.\r
-If Exist build-aux/snippet/c++defs.h update build-aux/snippet/c++defs.h build-aux/snippet/cxxdefs.h\r
+If Exist build-aux\snippet\c++defs.h update build-aux/snippet/c++defs.h build-aux/snippet/cxxdefs.h\r
 If Exist getopt.in.h update getopt.in.h getopt.in-h\r
 If Exist stdbool.in.h update stdbool.in.h stdbool.in-h\r
 If Exist stddef.in.h update stddef.in.h  stddef.in-h\r