Hi Fabian, (Sorry for the delayed reply.)
The attached patch reorders the must_fopen and fclose calls in
info/makedoc.c such that the times associated with these files match the
dependencies specified in the Makefile.*.
I don't have any way to test it, but since it works for you, I certainly
don't see any harm in applying it. I've done that ...
Thanks much,
karl
