Documentation/ntpc: document DHCP NTP server support

Document that ntpc can use NTP servers learned from DHCP option 42 when DHCP client support is enabled.

Signed-off-by: shichunma <masc2008@gmail.com>

Author: masc2008

Documentation/applications/system/ntpc/index.rst

@@ -15,6 +15,8 @@ The ntpc example:
 
 - Connects to NTP servers (default: pool.ntp.org)
 
+- Supports NTP server configuration learned from DHCP option 42
+
 - Starts the NTP client in the background for continuous synchronization
 
 - Provides commands to check status and stop the NTP client
@@ -38,12 +40,16 @@ This example requires the following NuttX configuration options:
 
 Additional configuration options:
 - CONFIG_NETUTILS_NTPCLIENT_SERVER: NTP server hostname (default: "pool.ntp.org")
+- CONFIG_NETUTILS_DHCPC: Enable DHCP client support when NTP servers should be
+  learned dynamically from DHCP option 42
 
 Usage
 -----
 
 1. Configure your NuttX build with networking support
 2. Ensure network connectivity is established (e.g., via NSH network commands)
+   If DHCP provides NTP servers through option 42, ``ntpc`` can use that
+   server list automatically.
 3. Build and flash the image to your target board
 4. Run the commands:
    - ``ntpcstart``, ``ntpcstop``, ``ntpcstatus``
@@ -95,6 +101,15 @@ give the proper time and date.
     nsh> date
     Fri, Sep 05 18:49:37 2025
 
+DHCP-provided NTP servers
+-------------------------
+
+When ``CONFIG_NETUTILS_DHCPC`` is enabled, the DHCP client can pass NTP
+server IPv4 addresses learned from DHCP option 42 to ``ntpc``.
+
+This allows ``ntpc`` to run without a fixed server hostname in the
+configuration and to follow NTP server updates delivered by DHCP.
+
 Notes
 -----