fix-manpages.patch
fix-manpage-generation-script.patch
use-debians-dejavu-font.patch
0004-Migrate-GTK2-to-GTK3.patch
0005-Fix-warnings-in-make_doc.patch
