X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2Fmaintain.texi;h=bef339b037cdd0d47c719bf2e789cfb9bc12ba69;hb=fa77205c7c30568a6b10ad2ebcaf785c838e2d0c;hp=12e1d7612da38339b3d9c76befebcca2ba73f29f;hpb=bc4413f314c36be586f557ade37cd92257828fac;p=gnulib.git diff --git a/doc/maintain.texi b/doc/maintain.texi index 12e1d7612..bef339b03 100644 --- a/doc/maintain.texi +++ b/doc/maintain.texi @@ -5,7 +5,7 @@ @c For double-sided printing, uncomment: @c @setchapternewpage odd @c This date is automagically updated when you save this file: -@set lastupdate July 1, 2006 +@set lastupdate July 9, 2006 @c %**end of header @dircategory GNU organization @@ -1380,7 +1380,7 @@ so based on the contents of your @file{manual} directory. The script @command{gendocs.sh} eases the task of generating the Texinfo documentation output for your web pages section above. It has a companion template file, used as the basis -for the html index pages. Both are available from the Texinfo CVS +for the HTML index pages. Both are available from the Texinfo CVS sources: @format @uref{http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs.sh}