0001-allow-autoreconf-force.patch
0002-AUXDIR_NAME-sans-arch.patch
0003-sequentialize-docs.patch
0005-man-page.patch
0007-verbose-texi2dvi.patch
