changeset 7334:c7c3e5be0d91

note about the license texinfo files
author Karl Berry <>
date Tue, 19 Sep 2006 13:42:41 +0000
parents a1f9d4a637d4
children 6a496bee90ff
files doc/gnulib.texi
diffstat 1 files changed, 20 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -1,5 +1,5 @@
 \input texinfo   @c -*-texinfo-*-
-@comment $Id: gnulib.texi,v 1.26 2006-07-19 21:48:14 dprice Exp $
+@comment $Id: gnulib.texi,v 1.27 2006-09-19 13:42:41 karl Exp $
 @comment %**start of header
 @settitle GNU Gnulib
@@ -7,7 +7,7 @@
 @syncodeindex pg cp
 @comment %**end of header
-@set UPDATED $Date: 2006-07-19 21:48:14 $
+@set UPDATED $Date: 2006-09-19 13:42:41 $
 This manual is for GNU Gnulib (updated @value{UPDATED}),
@@ -66,8 +66,8 @@
 @chapter Gnulib
 This manual contains some bare-bones documentation, but not much more.
-It's mostly been a place to store notes until someone (you?)@ gets
-around to writing a coherent manual.
+It's mostly a place to store notes until someone (you?)@ gets around
+to writing a coherent manual.
 Getting started:
@@ -91,6 +91,7 @@
 * Regular expressions::
 * Windows sockets::
 * Libtool and Windows::
+* License Texinfo sources::
 @end menu
@@ -349,6 +350,21 @@
 libgsasl_la_LDFLAGS += -no-undefined
 @end example
+@node License Texinfo sources
+@section License Texinfo sources
+Gnulib provides copies of the GNU GPL, GNU LGPL, and GNU FDL licenses
+in Texinfo form.  (The master location is
+@url{}).  These Texinfo documents have
+various node names and structures built into them; for your manual,
+you might like to change these.  It's ok to do this, and a convenient
+way to do so is to use a context diff and the @option{--local-dir}
+option to @command{gnulib-tool}.
+Of course the license texts themselves should not be changed at all.
 @include gnulib-tool.texi