diff config.bat @ 40878:0c8e49f72976

Configure in `lispref'.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 10 Nov 2001 14:03:12 +0000
parents 6fd0d497fc9c
children 8d949ca10e38
line wrap: on
line diff
--- 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