diff --git a/builds/ansi/ansi-def.mk b/builds/ansi/ansi-def.mk
index f443426e3..38571a55f 100644
--- a/builds/ansi/ansi-def.mk
+++ b/builds/ansi/ansi-def.mk
@@ -21,7 +21,7 @@ PLATFORM  := ansi
 
 # This is used for `make refdoc' and `make refdoc-venv'
 #
-BIN    := bin
+BIN := bin
 
 # The directory where all library files are placed.
 #
diff --git a/builds/beos/beos-def.mk b/builds/beos/beos-def.mk
index f2aac142f..5a3b52085 100644
--- a/builds/beos/beos-def.mk
+++ b/builds/beos/beos-def.mk
@@ -23,7 +23,7 @@ PLATFORM  := beos
 
 # This is used for `make refdoc' and `make refdoc-venv'
 #
-BIN    := bin
+BIN := bin
 
 # The directory where all library files are placed.
 #
diff --git a/builds/dos/dos-def.mk b/builds/dos/dos-def.mk
index 32c50730e..434f61bb0 100644
--- a/builds/dos/dos-def.mk
+++ b/builds/dos/dos-def.mk
@@ -21,7 +21,7 @@ PLATFORM  := dos
 
 # This is used for `make refdoc' and `make refdoc-venv'
 #
-BIN    := Scripts
+BIN := Scripts
 
 # The executable file extension (for tools), *with* leading dot.
 #
diff --git a/builds/os2/os2-def.mk b/builds/os2/os2-def.mk
index 66ece6232..7c19a5c9f 100644
--- a/builds/os2/os2-def.mk
+++ b/builds/os2/os2-def.mk
@@ -21,7 +21,7 @@ PLATFORM  := os2
 
 # This is used for `make refdoc' and `make refdoc-venv'
 #
-BIN    := Scripts
+BIN := Scripts
 
 # The executable file extension (for tools), *with* leading dot.
 #
diff --git a/builds/unix/unixddef.mk b/builds/unix/unixddef.mk
index d78042a92..e45e751b6 100644
--- a/builds/unix/unixddef.mk
+++ b/builds/unix/unixddef.mk
@@ -25,7 +25,7 @@ SEP    := /
 
 # This is used for `make refdoc' and `make refdoc-venv'
 #
-BIN    := bin
+BIN := bin
 
 # we use a special devel ftoption.h
 DEVEL_DIR := $(TOP_DIR)/devel
diff --git a/builds/windows/win32-def.mk b/builds/windows/win32-def.mk
index c670d6553..2a918478b 100644
--- a/builds/windows/win32-def.mk
+++ b/builds/windows/win32-def.mk
@@ -21,7 +21,7 @@ PLATFORM  := windows
 
 # This is used for `make refdoc' and `make refdoc-venv'
 #
-BIN    := Scripts
+BIN := Scripts
 
 # The executable file extension (for tools). NOTE: WE INCLUDE THE DOT HERE !!
 #