diff options
author | Erik Faye-Lund <[email protected]> | 2020-01-16 17:49:34 +0100 |
---|---|---|
committer | Erik Faye-Lund <[email protected]> | 2020-01-17 13:18:48 +0100 |
commit | 1de361e56b33fff35e2feb83dd5c404f67d42a69 (patch) | |
tree | 80e7a9c1cbb19aa6184619bbc84f7932a43a836d /docs | |
parent | 36e02752755bd26992cf87409558f6c016372acd (diff) |
docs: use code-tags instead of pre-tags
Similar to the previous commit, code-tags seems more appropriate than
pre-tags here. So let's change it.
Fixes: ca0c1e69cab "docs: update releasing process to use new scripts and gitlab"
Acked-by: Dylan Baker <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3431>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/releasing.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/releasing.html b/docs/releasing.html index 7c4e213fb92..8f0882b9369 100644 --- a/docs/releasing.html +++ b/docs/releasing.html @@ -520,7 +520,7 @@ So we do a quick 'touch test' <p> The release notes are completely generated by the -<pre>bin/gen_release_notes.py</pre> script. Simply run this script before +<code>bin/gen_release_notes.py</code> script. Simply run this script before bumping the version The only thing left to do is add the sha256 sums. @@ -576,7 +576,7 @@ Something like the following steps will do the trick: git cherry-pick -x X.Y </pre> -<p>Then run the <pre>./bin/post_verison.py X.Y.Z</pre>, where X.Y.Z is the +<p>Then run the <code>./bin/post_verison.py X.Y.Z</code>, where X.Y.Z is the version you just made. This will updated docs/relnotes.html and docs/index.html. Remove docs/release-calendar.html. Then commit and push: </p> |