0001-texi-rename.patch
0002-Drop-SHELL.patch
0004-update-texinfo.tex.diff
