debian/Doc-make-pl.diff -p1
debian/disable-src-mods.diff -p1
feature/info-dir.diff -p1
