From 93cb9e022079eabd28c0ad4b4c4afb575d150bff Mon Sep 17 00:00:00 2001
From: Janus Troelsen <ysangkok@gmail.com>
Date: Sun, 20 Jul 2025 13:06:49 -0600
Subject: [PATCH] Fix links to API docs

Fix #9
---
 src/content/pages/docs/index.rst | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/content/pages/docs/index.rst b/src/content/pages/docs/index.rst
index 12412fd..a517b2d 100644
--- a/src/content/pages/docs/index.rst
+++ b/src/content/pages/docs/index.rst
@@ -16,11 +16,13 @@ This includes:
 
 There is API documentation for the following packages:
 
-* `prelude <https://www.idris-lang.org/docs/idris2/current/prelude_docs/>`__
-* `base <https://www.idris-lang.org/docs/idris2/current/base_docs/>`__
-* `contrib <https://www.idris-lang.org/docs/idris2/current/contrib_docs/>`__
-* `network <https://www.idris-lang.org/docs/idris2/current/network_docs/>`__
-* `test <https://www.idris-lang.org/docs/idris2/current/test_docs/>`__
+* `prelude <https://www.idris-lang.org/Idris2/prelude>`__
+* `base <https://www.idris-lang.org/Idris2/base>`__
+* `contrib <https://www.idris-lang.org/Idris2/contrib>`__
+* `linear <https://www.idris-lang.org/Idris2/linear>`__
+* `network <https://www.idris-lang.org/Idris2/network>`__
+* `test <https://www.idris-lang.org/Idris2/test>`__
+* `papers <https://www.idris-lang.org/Idris2/papers>`__
 
 You can also find our `Community Standards <{filename}./standards.rst>`_ here.