diff options
author | Eli Zaretskii <eliz@gnu.org> | 1999-01-07 12:27:19 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 1999-01-07 12:27:19 +0000 |
commit | 6536450d4979950a72661e0b8830dbbb9292d1b2 (patch) | |
tree | d6c12b265f93f47aa39c4ac34de08968031eeb03 /config.bat | |
parent | 37c281e46797b0a6babd107d503b6ff2aa1cbe17 (diff) | |
download | emacs-6536450d4979950a72661e0b8830dbbb9292d1b2.tar.gz |
Support configuring with leim.
Diffstat (limited to 'config.bat')
-rw-r--r-- | config.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config.bat b/config.bat index 61f96325a7b..8e633a48d1f 100644 --- a/config.bat +++ b/config.bat @@ -204,6 +204,13 @@ cd man sed -f ../msdos/sed6.inp < Makefile.in > Makefile
cd ..
rem ----------------------------------------------------------------------
+If not Exist leim\quail\latin-pre.el goto maindir
+Echo Configuring the leim directory...
+cd leim
+sed -f ../msdos/sedleim.inp < Makefile.in > Makefile
+cd ..
+rem ----------------------------------------------------------------------
+:maindir
Echo Configuring the main directory...
If "%DJGPP_VER%" == "1" goto mainv1
Echo Looking for the GDB init file...
|