Fix typo, reported by Ralf Wildenhues.

diff --git a/doc/gnulib-intro.texi b/doc/gnulib-intro.texi
index a785b5abf4a7934aff80f9a0ab0757373bfa811b..e2f19dad1d4060ab854def72ea2588efb5cde06a 100644 (file)
--- 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: