From 4fe3a9602040696904cdd30c73e82998bca52947 Mon Sep 17 00:00:00 2001
From: Carl Gay <carlgay@gmail.com>
Date: Tue, 14 May 2024 16:44:44 -0400
Subject: [PATCH] doc: use full URL for package index, now build separately

---
 documentation/source/index.rst | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/documentation/source/index.rst b/documentation/source/index.rst
index c0eb141fa..9fd58c534 100644
--- a/documentation/source/index.rst
+++ b/documentation/source/index.rst
@@ -95,16 +95,12 @@ articles, and all the library docs.
    Dylan Programming Guide <https://opendylan.org/books/dpg/>
    Dylan Playground <https://play.opendylan.org>
 
-.. Note that the package/index reference below is not part of this
-   repository; it's generated by the gendoc library, which (obviously)
-   must be run before `make html`.
-
 .. toctree::
    :caption: Reference
    :hidden:
 
    Dylan Reference Manual <https://opendylan.org/books/drm/>
-   Package Docs <package/index>
+   Package Docs <https://opendylan.org/package/>
    Open Dylan Libraries <library-reference/index>
    All Documentation <documentation/index>
    Full Index <genindex>