diff --git a/docs/buildroot.html b/docs/buildroot.html
index 83dc9a53f2..846abe5b7a 100644
--- a/docs/buildroot.html
+++ b/docs/buildroot.html
@@ -653,8 +653,6 @@ $ make me<TAB>
     can configure the build. </p>
 
     <h2><a name="Linux" id="Linux"></a>Linux</h2>
-    <ol>
-
 
      <p>The user can select from three different Linux strategies:
 
@@ -694,7 +692,6 @@ $ make me&lt;TAB&gt;
 	buildroot starts the linux configuration system, which
 	defaults to "make menuconfig".
      </p>
-    </ol>
 
     <h2><a name="Todo" id="Todo"></a>Todo</h2>
     <ol>