I got a report telling that "make distclean" does not bring back
the build tree into the original state. After running a build
(configure line below) and calling "make distclean", we have a few
differences. Some files were deleted, some files were re-generated
and hence show a different time stamp inside the file:
We'll probably have to investigate each of these changes separately to
see where they occur. I am probably not going to fix them all in one
go.
First, could you confirm which version of Texinfo you got these results
with.
I tested with Texinfo 7.1, ran configure with the same configure line
as you, then ran "make distclean".