diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2009-03-25 14:41:23 +0000 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2009-03-25 14:41:23 +0000 |
| commit | d30b334654394b7c2a8b3963ae7ef87e92e4af1f (patch) | |
| tree | ebe643884f4805e2b137a412ddd6aefdf55099f7 /docs/buildroot.html | |
| parent | 6c79a9615ce937e9e0d7e0510de62e9f1e10841d (diff) | |
Remove useless <ol>...</ol> tags
Diffstat (limited to 'docs/buildroot.html')
| -rw-r--r-- | docs/buildroot.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/buildroot.html b/docs/buildroot.html index 83dc9a53f..846abe5b7 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<TAB> buildroot starts the linux configuration system, which defaults to "make menuconfig". </p> - </ol> <h2><a name="Todo" id="Todo"></a>Todo</h2> <ol> |