diff --git a/docs/LangRef.html b/docs/LangRef.html
index 4342445ec6c..a9d49e34029 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -846,16 +846,6 @@ following rules:
   terms of 64 <2 x double>, for example.</li>
 </ol>
 </div>
-<!-- ======================================================================= -->
-<div class="doc_subsection">
-  <a name="datalayout">Data Layout</a>
-</div>
-<div class="doc_text">
-  <p>At the top level, the keyword <tt>checkpoint</tt> may be used to force the
-  assembler to check point the types and values it has defined so far. Any
-  unresolved types or references will generate error messages. This is useful
-  as an assertion point or for debugging.</p>
-</div>
 
 <!-- *********************************************************************** -->
 <div class="doc_section"> <a name="typesystem">Type System</a> </div>