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@pnwbakers.com>
Reviewed-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3431>

diff --git a/docs/submittingpatches.html b/docs/submittingpatches.html
index 403f4295e78478ad824434fdc845d4a0fe3e5174..de27e6d9d8b2913f0eaba87869feff4dd714121d 100644 (file)
--- a/docs/submittingpatches.html
+++ b/docs/submittingpatches.html
@@ -78,8 +78,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