[Guile-commits] 04/05: doc: Mention URL of Guile-GnuTLS.

[Ludovic Courtès]

civodul pushed a commit to branch main
in repository guile.

commit 2ace7a5312fdb32c500d5cfd7175416fc9714226
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Thu Jan 19 15:42:37 2023 +0100

    doc: Mention URL of Guile-GnuTLS.
    
    * doc/ref/web.texi (Web Client): Mention new URL of Guile-GnuTLS.
---
 doc/ref/web.texi | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/ref/web.texi b/doc/ref/web.texi
index b04d328b7..faaf662ce 100644
--- a/doc/ref/web.texi
+++ b/doc/ref/web.texi
@@ -1,6 +1,6 @@
 @c -*-texinfo-*-
 @c This is part of the GNU Guile Reference Manual.
-@c Copyright (C) 2010, 2011, 2012, 2013, 2015, 2018, 2019, 2020 Free Software 
Foundation, Inc.
+@c Copyright (C) 2010, 2011, 2012, 2013, 2015, 2018, 2019, 2020, 2023 Free 
Software Foundation, Inc.
 @c See the file guile.texi for copying conditions.
 
 @node Web
@@ -1460,8 +1460,10 @@ the lower-level HTTP, request, and response modules.
 
 @deffn {Scheme Procedure} open-socket-for-uri uri [#:verify-certificate? #t]
 Return an open input/output port for a connection to URI.  Guile
-dynamically loads GnuTLS for HTTPS support.
-@xref{Guile Preparations,
+dynamically loads Guile-GnuTLS for HTTPS support.
+
+See the @uref{https://gitlab.com/gnutls/guile/, Web site of Guile-GnuTLS}, and
+@pxref{Guile Preparations,
 how to install the GnuTLS bindings for Guile,, gnutls-guile,
 GnuTLS-Guile}, for more information.