From f31d167d57228c4295ee429193125b23c2af7cff Mon Sep 17 00:00:00 2001 From: Yao Xiao <108576690+Charlie-XIAO@users.noreply.github.com> Date: Mon, 19 Jun 2023 23:09:31 +0800 Subject: [PATCH] DOC search link to sphinx version (#26610) --- 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..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