# HG changeset patch # User Eli Zaretskii # Date 915712039 0 # Node ID b918e6330d6e050f118b710d3e7e876b7fad78e4 # Parent d6ab8dbc44f252dd3ec729097158d87417c6ad67 Support configuring with leim. diff -r d6ab8dbc44f2 -r b918e6330d6e config.bat --- a/config.bat Wed Jan 06 23:58:41 1999 +0000 +++ b/config.bat Thu Jan 07 12:27:19 1999 +0000 @@ -204,6 +204,13 @@ 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...