diff options
author | Karl Berry <karl@freefriends.org> | 2004-09-23 23:15:03 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2004-09-23 23:15:03 +0000 |
commit | ad1052b083518f6ae67b66dc490c4629e2e8610d (patch) | |
tree | 266ce5b2c83dc62323ebae3d382786a1b9f402a7 | |
parent | cd5276f642f0c8e1bbdb59526412fd99ad583827 (diff) | |
download | gnulib-ad1052b083518f6ae67b66dc490c4629e2e8610d.tar.gz |
direntry
-rw-r--r-- | doc/gnulib.texi | 6 |
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 |