From 339b7e584e0fe63462115606a6de4bdeca305fb6 Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Tue, 24 Oct 2023 14:20:56 -0400
Subject: [PATCH] add platform.rst to library docs

---
 docs/library/index.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/library/index.rst b/docs/library/index.rst
index 7fda1abd60..3a06bc2cee 100644
--- a/docs/library/index.rst
+++ b/docs/library/index.rst
@@ -17,7 +17,7 @@ limited flash memory:
 ``binascii``, ``errno``, ``json``, ``re``.
 
 These libraries are not currently enabled in any CircuitPython build, but may be in the future:
-``ctypes``
+``ctypes``, ``platform``
 
 .. toctree::
    :maxdepth: 1
@@ -31,6 +31,7 @@ These libraries are not currently enabled in any CircuitPython build, but may be
    gc.rst
    io.rst
    json.rst
+   platform.rst
    re.rst
    sys.rst
    ctypes.rst