--- a/debian/rules	2019-09-11 08:15:21.742803331 +0100
--- b/debian/rules	2019-09-11 08:25:12.746128616 +0100
@@ -33,3 +33,6 @@
 
 override_dh_compress-indep:
 	dh_compress -X.pdf -Xexamples
+
+override_dh_installdocs:
+	dh_installdocs -X/_formulas. -X/_form0.