From 617bca2ab0b4f57c65873cf3858c6387ea775ab1 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Wed, 25 Oct 2023 15:58:13 +0200
Subject: [PATCH] gnu: Add python-jupyterlite-sphinx.

* gnu/packages/jupyter.scm (python-jupyterlite-sphinx): New variable.

Change-Id: I182c98e0c47d28012882994824232c3473ba3dcd
---
 gnu/packages/jupyter.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/jupyter.scm b/gnu/packages/jupyter.scm
index 7285afdfd0..87854afd72 100644
--- a/gnu/packages/jupyter.scm
+++ b/gnu/packages/jupyter.scm
@@ -436,6 +436,28 @@ for building JupyterLite websites, the jupyter-lite CLI, and extension points
 for authoring custom addons.")
     (license license:bsd-3)))
 
+(define-public python-jupyterlite-sphinx
+  (package
+    (name "python-jupyterlite-sphinx")
+    (version "0.9.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "jupyterlite_sphinx" version))
+       (sha256
+        (base32 "05h7zrvsx0xzxlddsqfz1fxdgld66yhn6nxfp4jz20wbx6csrr4v"))))
+    (build-system pyproject-build-system)
+    (arguments (list #:tests? #false))  ;there are none
+    (propagated-inputs (list python-docutils python-jupyter-server
+                             python-jupyterlab-server python-jupyterlite-core
+                             python-sphinx))
+    (native-inputs (list python-hatchling))
+    (home-page "https://github.com/jupyterlite/jupyterlite")
+    (synopsis "Sphinx extension for deploying JupyterLite")
+    (description "This package provides a Sphinx extension for deploying
+@code{JupyterLite}.")
+    (license license:bsd-3)))
+
 (define-public python-jupyter-server-mathjax
   (package
     (name "python-jupyter-server-mathjax")