diff --git a/Documentation b/Documentation
index 6e43c1ef42..726970e8fa 160000
--- a/Documentation
+++ b/Documentation
@@ -1 +1 @@
-Subproject commit 6e43c1ef42c8204d18610771482e460f24034c69
+Subproject commit 726970e8fa94aadffec255ba1f3bfd2267d26e1c
diff --git a/configs b/configs
index bc630b39f5..d0a45f2a33 160000
--- a/configs
+++ b/configs
@@ -1 +1 @@
-Subproject commit bc630b39f5dc935b40397b72a14e4f729afa3e08
+Subproject commit d0a45f2a33120a09391bba3f5e04379f3f6d9808
diff --git a/tools/indent.sh b/tools/indent.sh
index 10bffdd60f..4174fd5e4f 100755
--- a/tools/indent.sh
+++ b/tools/indent.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 ############################################################################
 # tools/indent.sh
 #
diff --git a/tools/mkconfigvars.sh b/tools/mkconfigvars.sh
index b2101d3b00..1424bb7f6d 100755
--- a/tools/mkconfigvars.sh
+++ b/tools/mkconfigvars.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # mkconfivars.sh
 #
 #   Copyright (C) 2013 Gregory Nutt. All rights reserved.
diff --git a/tools/refresh.sh b/tools/refresh.sh
index 01df311b60..a38eadaffd 100755
--- a/tools/refresh.sh
+++ b/tools/refresh.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # refresh.sh
 #
 #   Copyright (C) 2014 Gregory Nutt. All rights reserved.