01-texi-rename.diff
02-compile_f90_c_cxx-fix.diff
03-texinfo-fix-itemx.diff
