diff options
author | Eli Zaretskii <[email protected]> | 2008-10-31 10:56:30 +0000 |
---|---|---|
committer | Eli Zaretskii <[email protected]> | 2008-10-31 10:56:30 +0000 |
commit | b5ba7271933be119c35a365cb427d164a0968978 (patch) | |
tree | cab0e31b58de0bd578c8373dee7fb09271c6a756 /config.bat | |
parent | ef08237485cbb2b3667f3b43722cda7cb407ad33 (diff) |
Tell user to expect one "File not found" message while the `doc' directory
is being configured.
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 c007e0c8cd..2faa655635 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
|