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.
