diff options
| author | Eric Engestrom <[email protected]> | 2018-05-23 12:46:44 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-05-23 16:52:23 +0100 |
| commit | 09a6cb7be668a975a49f4c37fbffd58e47629b9f (patch) | |
| tree | d0e128f42040ee10ad5b87756ab897f2597cbb06 /docs/precompiled.html | |
| parent | 8034f5f6236e4a94bb49f5b467532b236d51e912 (diff) | |
docs: fix various html tags mistakes
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Ian Romanick <[email protected]>
Diffstat (limited to 'docs/precompiled.html')
| -rw-r--r-- | docs/precompiled.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/precompiled.html b/docs/precompiled.html index d1f4acec4d9..97dc1ff4bd8 100644 --- a/docs/precompiled.html +++ b/docs/precompiled.html @@ -24,10 +24,12 @@ Some Linux distributions closely follow the latest Mesa releases. On others one has to use unofficial channels. <br> There are some general directions: +<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> |