From ad1052b083518f6ae67b66dc490c4629e2e8610d Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 23 Sep 2004 23:15:03 +0000 Subject: [PATCH] direntry --- doc/gnulib.texi | 6 +++--- 1 file 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 -- 2.30.2