summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/gnulib-intro.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gnulib-intro.texi b/doc/gnulib-intro.texi
index a785b5abf4..e2f19dad1d 100644
--- a/doc/gnulib-intro.texi
+++ b/doc/gnulib-intro.texi
@@ -214,7 +214,7 @@ 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.
-More precisely, the license specification is in the module description
+More precisely, the license specification in the module description
file applies to the files in @file{lib/} and @file{build-aux/}. Different
licenses apply to files in special directories: