[nongnu] elpa/opam-switch-mode 7c2118fb9e 20/31: docs(README.md): Add direct hyperlink to PG online doc

[ELPA Syncer]

branch: elpa/opam-switch-mode
commit 7c2118fb9e6210f7571307612fc7db75e703b4ca
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    docs(README.md): Add direct hyperlink to PG online doc
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index bc5a44a90a..0b075fe9a7 100644
--- a/README.md
+++ b/README.md
@@ -40,4 +40,4 @@ any other shells outside emacs.
 
 - [Proof General](https://proofgeneral.github.io/)
   can kill the coq background process, when the opam switch changes,
-  see `coq-kill-coq-on-opam-switch`.
+  see 
[`coq-kill-coq-on-opam-switch`](https://proofgeneral.github.io/doc/master/userman/Coq-Proof-General/#index-coq_002dkill_002dcoq_002don_002dopam_002dswitch).