--- a/debian/rules 2019-09-07 10:10:56.887480026 +0100 --- b/debian/rules 2019-09-07 10:19:08.226064740 +0100 @@ -40,7 +40,7 @@ dh_auto_configure -- $(CONFIGURE_OPTIONS) override_dh_installdocs: - dh_installdocs -X.md5 + dh_installdocs -X.md5 -X/_formulas. -X/_form0. override_dh_bugfiles: dh_bugfiles -A