1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index c8a416b8..d8920943 100755
--- a/debian/rules
+++ b/debian/rules
@@ -119,6 +119,7 @@ binary-common:
 	dh_installemacsen
 	dh_installman
 	dh_installchangelogs CHANGES
+	dh_installtex
 	dh_desktop
 	dh_link
 	dh_compress