diff options
author | Paul Smith <psmith@gnu.org> | 2022-10-16 15:50:13 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2022-10-18 14:37:47 -0400 |
commit | 4ec74e568d1da54d56b3628afc9fe8577e79e6bf (patch) | |
tree | 0f3b683f4ac0368ddd4583ee05f1d22b5b615910 /README.DOS | |
parent | d9fc1ac5d2e427eed6e61ac95f5ebf72ed380089 (diff) | |
download | make-git-4ec74e568d1da54d56b3628afc9fe8577e79e6bf.tar.gz |
* NEWS: Use GNU Make instead of GNU make
* README.git: Ditto.
* README.Amiga: Ditto.
* README.DOS: Ditto.
* README.OS2: Ditto.
* README.VMS: Ditto.
* README.W32: Ditto.
* README.customs: Ditto.
* make-gdb.py: Ditto.
* tests/run_make_tests.pl: Ditto.
Diffstat (limited to 'README.DOS')
-rw-r--r-- | README.DOS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -79,7 +79,7 @@ To build from sources: 6. To install copy make.exe to the preferred location. - Since GNU make 4.3, support for customized platform installations + Since GNU Make 4.3, support for customized platform installations has been removed. If you'd like to collaborate on reinstating these capabilities, contact bug-make@gnu.org. |