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.
 
 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:
 
 file applies to the files in @file{lib/} and @file{build-aux/}.  Different
 licenses apply to files in special directories: