A tiny change. (Is there a more preferred format for patches?)
thi
______________________________________________________
doc/gnulib-tool.texi | 7 ++++---
1 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/doc/gnulib-tool.texi b/doc/gnulib-tool.texi
index 9d9ec56..f5a66e0 100644
--- a/doc/gnulib-tool.texi
+++ b/doc/gnulib-tool.texi
@@ -462,9 +462,10 @@ In projects which commit all source files, whether
generated or not, into
their VCS, the @code{gnulib-tool} generated files should all be committed.
Gnulib also contains files generated by @command{make} (and removed by
[EMAIL PROTECTED] clean}), using information determined by @command{configure}
-They should not be checked into the VCS, but instead added to
[EMAIL PROTECTED] When you have a Gnulib source file of the form
[EMAIL PROTECTED] clean}), using information determined by @command{configure}.
+They should not be registered with the VCS, but instead marked as
+ignorable (for example, by adding them to @file{.cvsignore} if the
+project is under CVS). When you have a Gnulib source file of the form
@file{lib/foo_.h}, the corresponding @file{lib/foo.h} is such a file.
@item
