1 files changed, 1 insertions, 0 deletions

diff --git a/docs/index.html b/docs/index.html
index 98c2abb..c3e8285 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -1767,6 +1767,7 @@ static MyDeepFactory g_MyDeepFactory;
         <li>Include <tt>"deep.h"</tt> and either link against Lanes or statically compile <tt>compat.cpp deep.cpp</tt> into your module if you want to avoid a runtime dependency for users that will use your module without Lanes.
         <li>Instanciate your userdata using <tt>yourFactoryObject.pushDeepUserdata()</tt>, instead of the regular <tt>lua_newuserdata()</tt>. Given a <tt>factory</tt>, it sets up the support structures and returns a state-specific proxy userdata for accessing your data. This proxy can also be copied over to other lanes.</li>
         <li>Accessing the deep userdata from your C code, use <tt>yourFactoryObject.toDeep()</tt> instead of the regular <tt>lua_touserdata()</tt>.</li>
+        <li>To push an existing proxy on the stack, use <tt>DeepPrelude::push(L)</tt>.</li>
 </ol>
 
 <p>