diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 32ce071ba8a..1adab64be5b 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -603,6 +603,8 @@ Other memory:
* Restructured some Makefiles to better handle enabling and disabling
NuttX features without having so much conditional compilation in the
source files.
+ * tools/mkconfig.c: No long depends on asprintf() and _GNU_SOURCE and
+ so should now build in non-GNU, non-GLIBC environments.
* Started m68322