# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1005400992 0
# Node ID 0c8e49f7297642f22847d6fb6f20ead5d3873c64
# Parent  d544e48d6a3e4d8e10c485c3a57f42ab1ef52234
Configure in `lispref'.

diff -r d544e48d6a3e -r 0c8e49f72976 config.bat
--- a/config.bat	Sat Nov 10 13:57:42 2001 +0000
+++ b/config.bat	Sat Nov 10 14:03:12 2001 +0000
@@ -218,6 +218,11 @@
 sed -f ../msdos/sed6.inp < Makefile.in > Makefile
 cd ..
 rem   ----------------------------------------------------------------------
+Echo Configuring the ELisp manual directory...
+cd lispref
+sed -f ../msdos/sed6.inp < Makefile.in > Makefile
+cd ..
+rem   ----------------------------------------------------------------------
 Echo Configuring the lisp directory...
 cd lisp
 sed -f ../msdos/sedlisp.inp < Makefile.in > Makefile