diff --git a/doc/running.html b/doc/running.html
index 24b7e1ef..6f6ced05 100644
--- a/doc/running.html
+++ b/doc/running.html
@@ -348,21 +348,7 @@ the system's hostname and <span class="arg">port</span> defaults to 24800.
 <span class="arg">address</span> is the hostname or IP address of
 the server and <span class="arg">port</span> is the optional network
 port on the server to connect to.  The client accepts the
-<a href="#commonOptions">common options</a> and:
-</p>
-<p>
-<table>
-  <tr>
-    <td>&nbsp;</td><td><span class="code">&nbsp;</span></td>
-    <td><span class="code">--camp</span></td>
-    <td>&nbsp;&nbsp;</td><td>retry connection to server until successful</td>
-  </tr>
-  <tr>
-    <td>&nbsp;</td><td><span class="code">&nbsp;</span></td>
-    <td><span class="code">--no-camp</span></td>
-    <td>&nbsp;&nbsp;</td><td>try connection to server only once</td>
-  </tr>
-</table>
+<a href="#commonOptions">common options</a>.
 </p>
 </body>
 </html>