0001-Use-texi2any-instead-of-texi2html.patch
0002-Use-standard-AC_PROG_INSTALL.patch
0003-Make-tests-robust-against-make-shuffle.patch
