From 8a0d0861312a7c36e41138e5539c2b97525a8ea5 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 13 Sep 2024 16:20:09 +0200
Subject: [PATCH] [web] Fix links

---
 document/index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/document/index.html b/document/index.html
index 5ca35738a..e519eefa1 100644
--- a/document/index.html
+++ b/document/index.html
@@ -74,9 +74,9 @@ <h3>Embedder Specifications</h3>
 <h3>All Versions</h3>
 
 <ul>
-  <li><a href="versions/core/WebAssembly-1.0">WebAssembly 1.0</a> (2017)</li>
-  <li><a href="versions/core/WebAssembly-2.0">WebAssembly 2.0</a> (2022)</li>
-  <li><a href="versions/core/WebAssembly-3.0-draft">WebAssembly 3.0</a> (Draft 2024)</li>
+  <li><a href="versions/core/WebAssembly-1.0.pdf">WebAssembly 1.0</a> (2017)</li>
+  <li><a href="versions/core/WebAssembly-2.0.pdf">WebAssembly 2.0</a> (2022)</li>
+  <li><a href="versions/core/WebAssembly-3.0-draft.pdf">WebAssembly 3.0</a> (Draft 2024)</li>
 </ul>
 
 </article>