diff --git a/doc/user.html b/doc/user.html
index e7373a7..6ce6baa 100644
--- a/doc/user.html
+++ b/doc/user.html
@@ -114,6 +114,12 @@
 	  <td><code>string</code></td>
 	  <td><code>"Really quit orion?"</code></td>
 	</tr>
+	<tr>
+	  <td><code>user-bindings</code></td>
+	  <td><code>binding-list</code></td>
+	  <td><code>'(("F2" exec "xterm"))</code></td>
+	  <td>List of user-defined key bindings.</td>
+	</tr>
 	<tr>
 	  <td><code>execute</code></td>
 	  <td><code>keys</code></td>