Patch texinfo and newlib docs