diff options
| author | Paul Smith <psmith@gnu.org> | 2023-01-01 16:25:39 -0500 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2023-01-01 17:05:12 -0500 |
| commit | e7ce3a655e3e125a92e1c95f483675770be7f3bc (patch) | |
| tree | bd227b966f805e4d85834104630569bf27f937dd /mk/Windows32.mk | |
| parent | c580ebae8df0b1235b9287a59b9a3ab8c2bf9dfe (diff) | |
| download | make-git-e7ce3a655e3e125a92e1c95f483675770be7f3bc.tar.gz | |
Convert references from "GNU make" to "GNU Make"
Diffstat (limited to 'mk/Windows32.mk')
| -rw-r--r-- | mk/Windows32.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/Windows32.mk b/mk/Windows32.mk index f33a9723..27712f36 100644 --- a/mk/Windows32.mk +++ b/mk/Windows32.mk @@ -1,4 +1,4 @@ -# GNU -*-Makefile-*- to build GNU make on Windows +# GNU -*-Makefile-*- to build GNU Make on Windows # # Windows overrides for use with Basic.mk. # |