diff options
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.bat b/config.bat index c007e0c8cd1..2faa6556352 100644 --- a/config.bat +++ b/config.bat @@ -234,7 +234,7 @@ mv -f makefile.tmp Makefile cd ..
:oldx1
rem ----------------------------------------------------------------------
-Echo Configuring the doc directory...
+Echo Configuring the doc directory, expect one "File not found" message...
cd doc
Rem The two variants for lispintro below is for when the shell
Rem supports long file names but DJGPP does not
|