debian-branding.patch
debian-build-options.patch
create-and-adapt-doc-makefiles.patch
gray-stream-examples-protection.patch
hemlock-package-fix.patch
hemlock-termcap-fix.patch
create-backtrace-on-build-failure.patch
ignore-errors-when-reporting-errors.patch
manpage-fixes.patch
fix-cmu-user-html-output.patch
texlive-pdf-output-fixes.patch
upstream-20b-000.patch
dont-generate-new-po-files.patch
