diff --git a/debian/install b/debian/install
index 130577e..6a39d88 100644
--- a/debian/install
+++ b/debian/install
@@ -1,4 +1,5 @@
 *.php                      usr/share/php/domframework
 locale                     usr/share/php/domframework
+tools                      usr/share/doc/domframework
 docs/*                     usr/share/doc/domframework
 docs/cli-completion        etc/bash_completion.d