diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index c84fa4fe105..ba4de942ab7 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -1349,7 +1349,7 @@ The system can be re-made subsequently by just typing <code>make</code>.
     <code>CONFIG_DEBUG_LIB</code>: enable C library debug output (disabled by default)
   </li>
   <li>
-    <code>CONFIG_HAVE_LOWPUTC</code>: architecture supports low-level, boot
+    <code>CONFIG_ARCH_LOWPUTC</code>: architecture supports low-level, boot
     time console output
   </li>
   <li>