diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/gnulib-tool.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gnulib-tool.texi b/doc/gnulib-tool.texi index 8823533387..d32f8da5df 100644 --- 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. |