2007-05-16 Thien-Thi Nguyen <ttn@gnuvola.org> (tiny change)

[gnulib.git] / doc / gnulib-tool.texi

diff --git a/doc/gnulib-tool.texi b/doc/gnulib-tool.texi
index 8823533..d32f8da 100644 (file)
--- a/doc/gnulib-tool.texi
+++ b/doc/gnulib-tool.texi
@@ -350,7 +350,7 @@ In projects which commit all source files, whether generated or not, into
 CVS, the @code{gnulib-tool} generated files should all be committed.
 
 Gnulib also contains files generated by @command{make} (and removed by
-@code{make clean}, using information determined by @command{configure}
+@code{make clean}), using information determined by @command{configure}
 They should not be checked into CVS, but instead added to
 @file{.cvsignore}.  When you have a Gnulib source file of the form
 @file{lib/foo_.h}, the corresponding @file{lib/foo.h} is such a file.