docs - refresh man pages

docs/man/ping.html

@@ -111,9 +111,11 @@
 <pre><code><strong>NAME</strong>
     ping - send ICMP echo requests
 
+
 <strong>SYNOPSIS</strong>
     ping &lt;host&gt;
 
+
 <strong>DESCRIPTION</strong>
     Sends 4 ICMP echo requests to the specified host and prints
     the round-trip time for each reply.
@@ -124,6 +126,7 @@
     Each request has a 3-second timeout. Requests are sent at
     1-second intervals.
 
+
 <strong>OUTPUT</strong>
     PING example.com (93.184.216.34)
       Reply from 93.184.216.34: time=12ms
@@ -135,6 +138,7 @@
 
       Request timed out
 
+
 <strong>EXAMPLES</strong>
     ping 10.0.68.1
         Ping the gateway by IP address.
@@ -142,9 +146,9 @@
     ping google.com
         Ping by hostname (requires DNS).
 
-<strong>SEE ALSO</strong>
-    nslookup(1), ifconfig(1), shell(1), syscalls(2)</code></pre>
 
+<strong>SEE ALSO</strong>
+    <a href="nslookup.html">nslookup(1)</a>, ifconfig(1), <a href="shell.html">shell(1)</a>, <a href="syscalls.html">syscalls(2)</a></code></pre>
 <hr>
 
 <div class="center">