clean-tex-aux-files.diff
texinfo-table.diff
remove_race_condition_texinfo_tmpfile.diff
specify-texinfo-encoding.diff
no-gnatmake-project-support.diff
