Follow-up Comment #1, bug #43122 (project texinfo):
thanks for the report, vincent. i'll look into it as soon as i have a chance.
(FYI, texi2dvi uses cmp to determine whether the various generated files have
changed, in the xref_files_changed fn. But there is a lot of fragility in the
whole process, so I'm not surprised it fails sometimes.)
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?43122>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
