diff --git a/configs/amber/README.txt b/configs/amber/README.txt
index 9ef22917e33..63fa5d41f36 100644
--- a/configs/amber/README.txt
+++ b/configs/amber/README.txt
@@ -252,15 +252,7 @@ Windows Native Toolchains
      is because the dependencies are generated using Windows pathes which do
      not work with the Cygwin make.
 
-     Support has been added for making dependencies with the windows-native
-     toolchains.  That support can be enabled by modifying your Make.defs
-     file as follows:
-
-    -  MKDEP = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are
-     not building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP = $(TOPDIR)/tools/mknulldeps.sh
 
   An additional issue with the WinAVR toolchain, in particular, is that it
   contains an incompatible version of the Cygwin DLL in its bin/ directory.
diff --git a/configs/ea3131/README.txt b/configs/ea3131/README.txt
index 4d01a4162af..29b68ce8d19 100644
--- a/configs/ea3131/README.txt
+++ b/configs/ea3131/README.txt
@@ -80,11 +80,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/ea3152/README.txt b/configs/ea3152/README.txt
index 5b513a620cc..7aa57e3ae0e 100644
--- a/configs/ea3152/README.txt
+++ b/configs/ea3152/README.txt
@@ -76,14 +76,7 @@ GNU Toolchain Options
      because the dependencies are generated using Windows pathes which do not
      work with the Cygwin make.
 
-     Support has been added for making dependencies with the windows-native toolchains.
-     That support can be enabled by modifying your Make.defs file as follows:
-
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/eagle100/README.txt b/configs/eagle100/README.txt
index ce607c76473..79a4b96fdf4 100644
--- a/configs/eagle100/README.txt
+++ b/configs/eagle100/README.txt
@@ -69,11 +69,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the CodeSourcery toolchain.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/ekk-lm3s9b96/README.txt b/configs/ekk-lm3s9b96/README.txt
index 78fe96ef55b..fc9448aaf94 100644
--- a/configs/ekk-lm3s9b96/README.txt
+++ b/configs/ekk-lm3s9b96/README.txt
@@ -139,11 +139,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/fire-stm32v2/README.txt b/configs/fire-stm32v2/README.txt
index 0cf782a9436..aa3225524b0 100644
--- a/configs/fire-stm32v2/README.txt
+++ b/configs/fire-stm32v2/README.txt
@@ -229,11 +229,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
diff --git a/configs/hymini-stm32v/README.txt b/configs/hymini-stm32v/README.txt
index 2c8f3a16afa..4c554580611 100644
--- a/configs/hymini-stm32v/README.txt
+++ b/configs/hymini-stm32v/README.txt
@@ -83,11 +83,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/kwikstik-k40/README.txt b/configs/kwikstik-k40/README.txt
index 7a68fcffa81..1f3873cc9e5 100644
--- a/configs/kwikstik-k40/README.txt
+++ b/configs/kwikstik-k40/README.txt
@@ -207,11 +207,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/lincoln60/README.txt b/configs/lincoln60/README.txt
index 068ca50dc71..87847cd8b74 100644
--- a/configs/lincoln60/README.txt
+++ b/configs/lincoln60/README.txt
@@ -107,11 +107,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/lm3s6432-s2e/README.txt b/configs/lm3s6432-s2e/README.txt
index 3630ccc5ec1..df7e7029d3f 100644
--- a/configs/lm3s6432-s2e/README.txt
+++ b/configs/lm3s6432-s2e/README.txt
@@ -134,11 +134,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/lm3s6965-ek/README.txt b/configs/lm3s6965-ek/README.txt
index f6c32ee82a1..96e87bb272d 100644
--- a/configs/lm3s6965-ek/README.txt
+++ b/configs/lm3s6965-ek/README.txt
@@ -163,11 +163,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/lm3s8962-ek/README.txt b/configs/lm3s8962-ek/README.txt
index 310edabc57c..6de30047b0d 100644
--- a/configs/lm3s8962-ek/README.txt
+++ b/configs/lm3s8962-ek/README.txt
@@ -163,11 +163,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/lpc4330-xplorer/README.txt b/configs/lpc4330-xplorer/README.txt
index 8c88b5758ba..f7ec778eecc 100644
--- a/configs/lpc4330-xplorer/README.txt
+++ b/configs/lpc4330-xplorer/README.txt
@@ -188,11 +188,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
diff --git a/configs/lpcxpresso-lpc1768/README.txt b/configs/lpcxpresso-lpc1768/README.txt
index 9660e12feef..2fedefc5887 100644
--- a/configs/lpcxpresso-lpc1768/README.txt
+++ b/configs/lpcxpresso-lpc1768/README.txt
@@ -291,11 +291,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/mbed/README.txt b/configs/mbed/README.txt
index 958ae981845..09763086bdb 100644
--- a/configs/mbed/README.txt
+++ b/configs/mbed/README.txt
@@ -77,11 +77,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/mcu123-lpc214x/README.txt b/configs/mcu123-lpc214x/README.txt
index 65d177cc1eb..49a6d5c0f7c 100644
--- a/configs/mcu123-lpc214x/README.txt
+++ b/configs/mcu123-lpc214x/README.txt
@@ -75,11 +75,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the CodeSourcery toolchain.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) may not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/micropendous3/README.txt b/configs/micropendous3/README.txt
index c05f1ddd5be..cc4a47ee3ec 100644
--- a/configs/micropendous3/README.txt
+++ b/configs/micropendous3/README.txt
@@ -269,11 +269,7 @@ Windows Native Toolchains
      toolchains.  That support can be enabled by modifying your Make.defs
      file as follows:
 
-    -  MKDEP = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are
-     not building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP = $(TOPDIR)/tools/mknulldeps.sh
 
   An additional issue with the WinAVR toolchain, in particular, is that it
   contains an incompatible version of the Cygwin DLL in its bin/ directory.
diff --git a/configs/mirtoo/README.txt b/configs/mirtoo/README.txt
index b2d0c5790de..7a58572bf86 100644
--- a/configs/mirtoo/README.txt
+++ b/configs/mirtoo/README.txt
@@ -451,11 +451,7 @@ Toolchains
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
 Loading NuttX with ICD3
 ========================
diff --git a/configs/ntosd-dm320/README.txt b/configs/ntosd-dm320/README.txt
index 46f049e34c1..ba6cc87ecbf 100644
--- a/configs/ntosd-dm320/README.txt
+++ b/configs/ntosd-dm320/README.txt
@@ -99,11 +99,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/nucleus2g/README.txt b/configs/nucleus2g/README.txt
index 86a8944abe5..0d1d2896b13 100644
--- a/configs/nucleus2g/README.txt
+++ b/configs/nucleus2g/README.txt
@@ -137,11 +137,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/olimex-lpc1766stk/README.txt b/configs/olimex-lpc1766stk/README.txt
index 0983ab1f529..6bb36f40ce0 100644
--- a/configs/olimex-lpc1766stk/README.txt
+++ b/configs/olimex-lpc1766stk/README.txt
@@ -225,11 +225,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/olimex-strp711/README.txt b/configs/olimex-strp711/README.txt
index 74168dbfa98..7c3d3fe5b35 100644
--- a/configs/olimex-strp711/README.txt
+++ b/configs/olimex-strp711/README.txt
@@ -160,11 +160,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the CodeSourcery toolchain.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) may not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/pcblogic-pic32mx/README.txt b/configs/pcblogic-pic32mx/README.txt
index c15bd45a0ec..9eea61fd875 100644
--- a/configs/pcblogic-pic32mx/README.txt
+++ b/configs/pcblogic-pic32mx/README.txt
@@ -279,11 +279,7 @@ Toolchains
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
 Loading NuttX with PICkit2
 ==========================
diff --git a/configs/pic32-starterkit/README.txt b/configs/pic32-starterkit/README.txt
index 31d84798c00..b21066b5358 100644
--- a/configs/pic32-starterkit/README.txt
+++ b/configs/pic32-starterkit/README.txt
@@ -496,11 +496,7 @@ Toolchains
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
 Powering the Board
 ==================
diff --git a/configs/pic32mx7mmb/README.txt b/configs/pic32mx7mmb/README.txt
index adf83e2f4db..cc8ea5573c0 100644
--- a/configs/pic32mx7mmb/README.txt
+++ b/configs/pic32mx7mmb/README.txt
@@ -264,11 +264,7 @@ Toolchains
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
 Powering the Board
 ==================
diff --git a/configs/sam3u-ek/README.txt b/configs/sam3u-ek/README.txt
index fa5d52b69c4..bcb8b9ef629 100644
--- a/configs/sam3u-ek/README.txt
+++ b/configs/sam3u-ek/README.txt
@@ -78,11 +78,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/shenzhou/README.txt b/configs/shenzhou/README.txt
index 48f183aee49..2f2833bbeea 100644
--- a/configs/shenzhou/README.txt
+++ b/configs/shenzhou/README.txt
@@ -252,11 +252,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
diff --git a/configs/stm3210e-eval/README.txt b/configs/stm3210e-eval/README.txt
index 50e413b42c7..9e631120164 100644
--- a/configs/stm3210e-eval/README.txt
+++ b/configs/stm3210e-eval/README.txt
@@ -86,11 +86,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/stm3220g-eval/README.txt b/configs/stm3220g-eval/README.txt
index 58a6f156c44..0e6a9a7dade 100644
--- a/configs/stm3220g-eval/README.txt
+++ b/configs/stm3220g-eval/README.txt
@@ -92,11 +92,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
diff --git a/configs/stm3240g-eval/README.txt b/configs/stm3240g-eval/README.txt
index 8604f344a5f..140cc7414de 100644
--- a/configs/stm3240g-eval/README.txt
+++ b/configs/stm3240g-eval/README.txt
@@ -94,11 +94,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
@@ -1397,4 +1393,4 @@ Where <subdir> is one of the following:
     An example configuration for the Embeddable Lightweight XML-RPC
     Server at apps/examples/xmlrpc. See http://www.drdobbs.com/web-development/\
     an-embeddable-lightweight-xml-rpc-server/184405364 for more info.
-    Contributed by Max Holtzberg.
\ No newline at end of file
+    Contributed by Max Holtzberg.
diff --git a/configs/stm32f100rc_generic/README.txt b/configs/stm32f100rc_generic/README.txt
index e9959431c29..0c96d4fbc5a 100644
--- a/configs/stm32f100rc_generic/README.txt
+++ b/configs/stm32f100rc_generic/README.txt
@@ -88,11 +88,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
diff --git a/configs/stm32f4discovery/README.txt b/configs/stm32f4discovery/README.txt
index a69f53b0f5e..68be0a8a67f 100644
--- a/configs/stm32f4discovery/README.txt
+++ b/configs/stm32f4discovery/README.txt
@@ -92,11 +92,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   The CodeSourcery Toolchain (2009q1)
   -----------------------------------
diff --git a/configs/stm32f4discovery/winbuild/Make.defs b/configs/stm32f4discovery/winbuild/Make.defs
index 0837044548f..426611f8e56 100644
--- a/configs/stm32f4discovery/winbuild/Make.defs
+++ b/configs/stm32f4discovery/winbuild/Make.defs
@@ -81,7 +81,7 @@ LDSCRIPT = ld.script
 
 # Windows-native toolchains
 
-MKDEP = $(TOPDIR)/tools/mknulldeps.sh
+MKDEP = $(TOPDIR)/tools/mkdeps.bat
 ARCHINCLUDES = -I. -isystem $(TOPDIR)/include
 ARCHXXINCLUDES = -I. -isystem $(TOPDIR)/include -isystem $(TOPDIR)/include/cxx
 ARCHSCRIPT = -T$(TOPDIR)/configs/$(CONFIG_ARCH_BOARD)/scripts/$(LDSCRIPT)
diff --git a/configs/stm32f4discovery/winbuild/setenv.bat b/configs/stm32f4discovery/winbuild/setenv.bat
index e2196a90a0e..1d4a95f3a3d 100755
--- a/configs/stm32f4discovery/winbuild/setenv.bat
+++ b/configs/stm32f4discovery/winbuild/setenv.bat
@@ -1,3 +1,5 @@
+@echo off
+
 rem configs/stm32f4discovery/winbuild/setenv.sh
 rem
 rem   Copyright (C) 2012 Gregory Nutt. All rights reserved.
diff --git a/configs/sure-pic32mx/README.txt b/configs/sure-pic32mx/README.txt
index ad983569808..68f0bd3365c 100644
--- a/configs/sure-pic32mx/README.txt
+++ b/configs/sure-pic32mx/README.txt
@@ -345,11 +345,7 @@ Toolchains
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
 Loading NuttX with PICkit2
 ==========================
diff --git a/configs/teensy/README.txt b/configs/teensy/README.txt
index 979d8e0e783..454a42d0540 100644
--- a/configs/teensy/README.txt
+++ b/configs/teensy/README.txt
@@ -272,11 +272,7 @@ Windows Native Toolchains
      toolchains.  That support can be enabled by modifying your Make.defs
      file as follows:
 
-    -  MKDEP = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are
-     not building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP = $(TOPDIR)/tools/mknulldeps.sh
 
   An additional issue with the WinAVR toolchain, in particular, is that it
   contains an incompatible version of the Cygwin DLL in its bin/ directory.
diff --git a/configs/twr-k60n512/README.txt b/configs/twr-k60n512/README.txt
index 3b7b402d7eb..cd567fd3752 100644
--- a/configs/twr-k60n512/README.txt
+++ b/configs/twr-k60n512/README.txt
@@ -344,11 +344,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
diff --git a/configs/ubw32/README.txt b/configs/ubw32/README.txt
index f8afb88e4f7..83ade7dae99 100644
--- a/configs/ubw32/README.txt
+++ b/configs/ubw32/README.txt
@@ -290,11 +290,7 @@ Toolchains
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
 Loading NuttX with PICkit2
 ==========================
diff --git a/configs/vsn/README.txt b/configs/vsn/README.txt
index 657cfdd899d..a0b8e24193b 100644
--- a/configs/vsn/README.txt
+++ b/configs/vsn/README.txt
@@ -83,11 +83,7 @@ GNU Toolchain Options
      Support has been added for making dependencies with the windows-native toolchains.
      That support can be enabled by modifying your Make.defs file as follows:
 
-    -  MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
-    +  MKDEP                = $(TOPDIR)/tools/mkdeps.sh --winpaths "$(TOPDIR)"
-
-     If you have problems with the dependency build (for example, if you are not
-     building on C:), then you may need to modify tools/mkdeps.sh
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
 
   NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
   level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with