texinfo5.diff
