diff options
author | Erik Faye-Lund <[email protected]> | 2019-04-18 15:38:01 +0200 |
---|---|---|
committer | Erik Faye-Lund <[email protected]> | 2019-05-02 11:09:15 +0000 |
commit | 92917e82e866155dd1d9300186e3be97cd673b47 (patch) | |
tree | fbf497e9311c52a0668af87639d184192ae258bf /docs/precompiled.html | |
parent | 0c3bab776162b451f34ff14e015c56560ca9f9db (diff) |
docs: close paragraphs before lists
paragraphs can't contain lists, and attempting to close them after
the list just cause an extra, empty paragraph to be created. We don't
want that, so let's close the paragraphs before the list intead.
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs/precompiled.html')
-rw-r--r-- | docs/precompiled.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/precompiled.html b/docs/precompiled.html index 97dc1ff4bd8..12c4388817e 100644 --- a/docs/precompiled.html +++ b/docs/precompiled.html @@ -24,13 +24,13 @@ Some Linux distributions closely follow the latest Mesa releases. On others one has to use unofficial channels. <br> There are some general directions: +</p> <ul> <li>Debian/Ubuntu based distros - PPA: xorg-edgers, oibaf and padoka</li> <li>Fedora - Corp: erp and che</li> <li>OpenSuse/SLES - OBS: X11:XOrg and pontostroy:X11</li> <li>Gentoo/Archlinux - officially provided/supported</li> </ul> -</p> </div> </body> |