diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index d8ccfc34047..96c30129529 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -3719,9 +3719,6 @@ void (*notify)(FAR struct pm_callback_s *cb, enum pm_state_e pmstate);
     Make a raw binary format file used with many different loaders using the GNU objcopy program.
     This option  should not be selected if you are not using the GNU toolchain.
   </li>
-  <li><code>CONFIG_HAVE_LIBM</code>:
-    Toolchain supports libm.a
-  </li>
   <li><code>CONFIG_HAVE_CXX</code>:
     Toolchain supports C++ and <code>CXX</code>, <code>CXXFLAGS</code>, and <code>COMPILEXX</code>
     have been defined in the configurations <code>Make.defs</code> file.