"make distclean" doesn't remove Gnulib header(s)

[Eli Zaretskii]

I needed to rebuild Texinfo-6.7 after the OS upgrade, so I did "make
distclean" in the top-level directory.  For some reason, this didn't
remove gnulib/lib/locale.h, which was produced by the last build on
the old OS, and that stale locale.h failed the new build, although I
did run the configure script after "make distclean".

I'm not sure I understand whether this is a Gnulib bug or a Texinfo
bug.  Please advise whether to report this to the Gnulib folks.

Thanks.