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 | b2451b8621f16dd483cec45950806868952a8050 (patch) | |
tree | 748bc9d63aa931305064638da6871a919b321d60 /config.bat | |
parent | 71a3bb4b1ee52b9f92e8f960e6ecfb1e43ab5037 (diff) | |
download | emacs-b2451b8621f16dd483cec45950806868952a8050.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...
|