diff options
| author | Erik Faye-Lund <[email protected]> | 2019-04-18 16:12:08 +0200 |
|---|---|---|
| committer | Erik Faye-Lund <[email protected]> | 2019-05-02 11:09:16 +0000 |
| commit | 41573d486fb933012ffb411b49b5cb56b3605865 (patch) | |
| tree | cf77f4a9418c38b56c3b9d46007e6a5db0cfb4f2 /docs/application-issues.html | |
| parent | 5630540a275216d0f1387f249765c03bbc6b64ea (diff) | |
docs: close paragraphs before preformatted text
It's illegal to nest block-level elements such as <pre> inside <p> in
HTML. This means that when the paragraphs gets closed after a <pre>-tag,
we end up closing a non-existent tag, so the browser inserts a dummy
<p>-tag. This is entirely pointless, so let's just close these tags
before the <pre>-tag instead.
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs/application-issues.html')
| -rw-r--r-- | docs/application-issues.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/application-issues.html b/docs/application-issues.html index 005d9f585fb..a0fdf9c30f4 100644 --- a/docs/application-issues.html +++ b/docs/application-issues.html @@ -62,9 +62,11 @@ older than the given year. <p> For example, if the game was released in 2001, do +</p> <pre> export MESA_EXTENSION_MAX_YEAR=2001 </pre> +<p> before running the game. </p> |