summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2004-09-23 23:15:03 +0000
committerKarl Berry <karl@freefriends.org>2004-09-23 23:15:03 +0000
commitad1052b083518f6ae67b66dc490c4629e2e8610d (patch)
tree266ce5b2c83dc62323ebae3d382786a1b9f402a7
parentcd5276f642f0c8e1bbdb59526412fd99ad583827 (diff)
downloadgnulib-ad1052b083518f6ae67b66dc490c4629e2e8610d.tar.gz
direntry
-rw-r--r--doc/gnulib.texi6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 72ef89903e..9500bbb12c 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -1,5 +1,5 @@
\input texinfo @c -*-texinfo-*-
-@comment $Id: gnulib.texi,v 1.2 2004-09-23 23:13:19 karl Exp $
+@comment $Id: gnulib.texi,v 1.3 2004-09-23 23:15:03 karl Exp $
@comment %**start of header
@setfilename gnulib.info
@settitle GNU Gnulib
@@ -7,7 +7,7 @@
@syncodeindex pg cp
@comment %**end of header
-@set UPDATED $Date: 2004-09-23 23:13:19 $
+@set UPDATED $Date: 2004-09-23 23:15:03 $
@copying
This manual is for GNU Gnulib (updated @value{UPDATED}),
@@ -33,7 +33,7 @@ Software Foundation raise funds for GNU development.''
@dircategory Software development
@direntry
-* gnulib: (gnulib). Source files to share among distributions.
+* Gnulib: (gnulib). Source files to share among distributions.
@end direntry
@titlepage