GPL.patch
info-dir-section.patch
texinfo5.diff
