update from texinfo
[gnulib.git] / doc / gnulib-tool.texi
2005-09-19 Bruno HaibleDocumentation of gnulib-tool.