From 11edef1a265e5019e24e6c29e43a8e2d391015a4 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Tue, 3 Nov 2020 02:13:05 +0900 Subject: [PATCH] doc: Update sphinx-contrib repos' URL (refs: #8349) --- doc/develop.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/develop.rst b/doc/develop.rst index 1287a6539cf..3bbc220b827 100644 --- a/doc/develop.rst +++ b/doc/develop.rst @@ -22,9 +22,9 @@ Extensions To learn how to write your own extension, see :ref:`dev-extensions`. -The `sphinx-contrib `_ -repository contains many contributed extensions. Some of them have their own -releases on PyPI, others you can install from a checkout. +The `sphinx-contrib `_ repository contains many +contributed extensions. Some of them have their own releases on PyPI, others you +can install from a checkout. This is the current list of contributed extensions in that repository: