bin/post_release.py: Add .html to hrefs

oops.

Fixes: 3226b12a09bbcbd25526fd6da6257057d26ddb31
       ("release: Add an update_release_calendar.py script")
Reviewed-by: Eric Engestrom <[email protected]>
Reviewed-by: Juan A. Suarez <[email protected]>

1 files changed, 3 insertions, 2 deletions

diff --git a/bin/post_version.py b/bin/post_version.py
index f085286df3c..d9b2a1de324 100755
--- a/bin/post_version.py
+++ b/bin/post_version.py
@@ -69,7 +69,8 @@ def update_index(is_point: bool, version: str, previous_version: str) -> None:
     header.text = f"{month} {date.day}, {date.year}"
 
     body = etree.Element('p')
-    a = etree.SubElement(body, 'a', attrib={'href': f'relnotes/{previous_version}'})
+    a = etree.SubElement(
+        body, 'a', attrib={'href': f'relnotes/{previous_version}.html'})
     a.text = f"Mesa {previous_version}"
     if is_point:
         a.tail = " is released. This is a bug fix release."
@@ -91,7 +92,7 @@ def update_release_notes(previous_version: str) -> None:
         tree = html.parse(f)
 
     li = etree.Element('li')
-    a = etree.SubElement(li, 'a', href=f'relnotes/{previous_version}')
+    a = etree.SubElement(li, 'a', href=f'relnotes/{previous_version}.html')
     a.text = f'{previous_version} release notes'
 
     ul = tree.xpath('.//ul')[0]