Doc fix.

diff --git a/doc/guile.texi b/doc/guile.texi
index 6e050619fc7ed1009c6c6df2bbd16e0d07965b92..a21c1b2fe14555e03436e2a0a21d32e4d5e0769c 100644 (file)
--- a/doc/guile.texi
+++ b/doc/guile.texi
@@ -96,6 +96,17 @@ guile> (use-modules (gnutls))
 guile>
 @end example
 
+To check that you got the intended GnuTLS library version, you may
+print the version number of the loaded library as follows:
+
+@example
+$ guile
+guile> (use-modules (gnutls))
+guile> (gnutls-version)
+"@value{VERSION}"
+guile> 
+@end example
+
 
 @c *********************************************************************
 @node Guile API Conventions