From: Bruno Haible Date: Mon, 15 Jan 2007 14:30:36 +0000 (+0000) Subject: Fix typo, reported by Ralf Wildenhues. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1920816bcc9883cfc5e81515cb4e0c4e1b669289;p=pspp Fix typo, reported by Ralf Wildenhues. --- 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: