Mesa (staging/19.3): docs: use code-tags instead of pre-tags

[GitLab Mirror]

Module: Mesa
Branch: staging/19.3
Commit: bb97fdd7f9537ce8f48c33ab0d30b796dea4efec
URL:    http://cgit.freedesktop.org/mesa/mesa/commit/?id=bb97fdd7f9537ce8f48c33ab0d30b796dea4efec

Author: Erik Faye-Lund <erik.faye-lund at collabora.com>
Date:   Thu Jan 16 18:01:41 2020 +0100

docs: use code-tags instead of pre-tags

Similar to the previous two commits, it seems more appropriate to use
code-tags here than pre-tag.

Fixes: 9af6c38deff "docs: Add use of Closes: tag for closing gitlab issues"
Acked-by: Dylan Baker <dylan at pnwbakers.com>
Reviewed-by: Eric Engestrom <eric at engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3431>
(cherry picked from commit a370cfd96ed11463a9e76c1d9bc42eb5f3858fde)

---

 .pick_status.json           | 2 +-
 docs/submittingpatches.html | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.pick_status.json b/.pick_status.json
index ee8b1145df2..7c8e19a20ad 100644
--- a/.pick_status.json
+++ b/.pick_status.json
@@ -1066,7 +1066,7 @@
         "description": "docs: use code-tags instead of pre-tags",
         "nominated": true,
         "nomination_type": 1,
-        "resolution": 0,
+        "resolution": 1,
         "master_sha": null,
         "because_sha": "9af6c38deff0f91c6c2a20d61a07a388594a39ac"
     },
diff --git a/docs/submittingpatches.html b/docs/submittingpatches.html
index 9058b065d95..c10637f3e4d 100644
--- a/docs/submittingpatches.html
+++ b/docs/submittingpatches.html
@@ -80,8 +80,8 @@ For example:
 <pre>
     Closes: https://gitlab.freedesktop.org/mesa/mesa/issues/1
 </pre>
-<p>Prefer the full url to just <pre>Closes: #1</pre>, since the url makes it
-easier to get to the bug page from <pre>git log</pre></p>
+<p>Prefer the full url to just <code>Closes: #1</code>, since the url makes it
+easier to get to the bug page from <code>git log</code></p>
 <b>Do not use the Fixes: tag for this!</b> Mesa already uses Fixes for something else.
 
 <li>If a patch addresses a issue introduced with earlier commit, that should be