* INSTALL
* doc/bintools.txt
* os2-make.exe
! Updated OS/2 make.exe (and links in INSTALL) to make-3.81-r3
(from make-3.81-r2).
This fixes the dreaded cmdline length inducated GNU Make crashes
which made us add .mk workarounds and which created a showstopper
towards OS/2 .dll support.
Many thanks to Maurilio Longo and Andreas Buening for hunting
down and fixing the problem in OS/2 GNU Make port.
* INSTALL
+ dos-make.exe
+ win-make.exe
+ os2-make.exe
- config/mingw32-make.exe
- config/dj-make.exe
- config/os2-make.exe
* config/readme.txt
* Moved non-*nix GNU make executables to the root.
* Rename above utilities to give a clear idea which belongs to
which platform. At the same time we avoid using their original
names, thus allowing users to use those ones if installed.
* Modified documents accordingly.