diff options
| -rw-r--r-- | README.git | 4 | ||||
| -rw-r--r-- | pc/ChangeLog | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,4 +1,4 @@ -Thu Nov 18 23:27:08 IST 2010 +Mon Oct 24 21:50:18 IST 2011 ============================ If you are reading this, you have retrieved the gawk code base via @@ -9,7 +9,7 @@ the usual incantaton of `./configure && make && make check'. This version of bootstrap.sh should work OK. On systems supported by configuration files in the pc/ subdirectory, -cndir into pc and run the config.bat script there. This will produce +chdir into pc/ and run the make-config.bat script there. This will produce an up-to-date version of config.h from the latest configh.in. Then proceed as described in README_d/README.pc. diff --git a/pc/ChangeLog b/pc/ChangeLog index 10d16e61..ca1c15ea 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -14,7 +14,7 @@ * configpk.sed: * config.sed: - * config.bat: New files, to produce pc/config.h from the top-level + * make-config.bat: New files, to produce pc/config.h from the top-level configh.in file. 2011-10-18 Juan Manuel Guerrero <juan.guerrero@gmx.de> |