https://lists.debian.org/debian-ocaml-maint/2016/01/msg00223.html
Bug#812202: dose-distcheck, dose-builddebcheck: --exclude option
bugdoseexcludeoption
https://mail.gnome.org/archives/commits-list/2010-May/msg08218.html
[gtk+] Fix up distcheck
fix upgtk