Remove useless <ol>...</ol> tags

diff --git a/docs/buildroot.html b/docs/buildroot.html
index 83dc9a53f210fe6d1e54cdf33e5a9f46bee03283..846abe5b7a22370eb0538fff84746b30595133d2 100644 (file)
--- 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>