From 666b6fb941d2fbe14471bedcb814f810a0b538ab Mon Sep 17 00:00:00 2001 From: Charlie-XIAO Date: Sun, 18 Jun 2023 23:35:10 +0800 Subject: [PATCH 1/3] DOC search link to sphinx version --- doc/developers/contributing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/developers/contributing.rst b/doc/developers/contributing.rst index 86575dd75d0f1..096f74dfc21ef 100644 --- a/doc/developers/contributing.rst +++ b/doc/developers/contributing.rst @@ -763,7 +763,7 @@ To build the PDF manual, run: versions of Sphinx as possible, the different versions tend to behave slightly differently. To get the best results, you should use the same version as the one we used on CircleCI. Look at this - `github search `_ + `GitHub search `_ to know the exact version. Guidelines for writing documentation From 373e98e27edd3e401565a0d29d891bb70a175ca2 Mon Sep 17 00:00:00 2001 From: Charlie-XIAO Date: Mon, 19 Jun 2023 08:59:04 +0800 Subject: [PATCH 2/3] update search link --- doc/developers/contributing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/developers/contributing.rst b/doc/developers/contributing.rst index 096f74dfc21ef..043c47bb801f8 100644 --- a/doc/developers/contributing.rst +++ b/doc/developers/contributing.rst @@ -763,7 +763,7 @@ To build the PDF manual, run: versions of Sphinx as possible, the different versions tend to behave slightly differently. To get the best results, you should use the same version as the one we used on CircleCI. Look at this - `GitHub search `_ + `GitHub search `_ to know the exact version. Guidelines for writing documentation From 799b24338a83bcc40eed6c475869aaf1364caa44 Mon Sep 17 00:00:00 2001 From: Charlie-XIAO Date: Mon, 19 Jun 2023 11:09:08 +0800 Subject: [PATCH 3/3] retrigger checks