Implement 'isfinite' module.

[gnulib.git] / doc / gnulib-intro.texi

diff --git a/doc/gnulib-intro.texi b/doc/gnulib-intro.texi
index efac23d..63137fe 100644 (file)
--- a/doc/gnulib-intro.texi
+++ b/doc/gnulib-intro.texi
@@ -212,7 +212,9 @@ proofreading the patch.
 Most modules are under the GPL.  Some, mostly modules which can
 reasonably be used in libraries, are under LGPL.  The source files
 always say "GPL", but the real license specification is in the module
-description file.
+description file.  If the module description file says "GPL", it means
+"GPLv3+" (GPLv3 or newer, at the licensee's choice); if it says "LGPL",
+it means "LGPLv3+" (LGPLv3 or newer, at the licensee's choice).
 
 More precisely, the license specification in the module description
 file applies to the files in @file{lib/} and @file{build-aux/}.  Different
@@ -274,7 +276,9 @@ information in the corresponding module description.
 Gnulib modules are continually adapted, to match new practices, to be
 consistent with newly added modules, or simply as a response to build
 failure reports.  We don't make releases, but instead recommend to use the
-newest version of Gnulib from the CVS, except in periods of major changes.
+newest version of Gnulib from the Git repository, except in periods of major
+changes.  The source tree can also be fetched from a read-only CVS that
+mirrors the Git repository.
 
 @node Openness
 @section Openness