diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 4b562057dea..62f795887f2 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -3729,6 +3729,9 @@ build
If only CONFIG_DEBUG then the only output will be errors, warnings, and critical information.
If CONFIG_DEBUG_VERBOSE is defined in addition, then general debug comments will also be included in the console output.
+
CONFIG_DEBUG_ENABLE: Support an interface to enable or disable debug output.
+ CONFIG_DEBUG_SYMBOLS: build without optimization and with debug symbols (needed for use with a debugger).
This option has nothing to do with debug output.