Make tools/ directory first-class citizen.

diff --git a/debian/rules b/debian/rules
index 921aeecfb44c9ef55e4755adea6265a74193bcb0..e81ed05bb8f14ac5625c075cad3b473b9fc26cf0 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -56,7 +56,8 @@ install: build
        dh_clean -k 
        dh_installdirs 
 
-       make dest=$(DESTDIR) prefix=$(PREFIX) mandir=$(MANDIR) install install-tools install-doc
+       make dest=$(DESTDIR) prefix=$(PREFIX) mandir=$(MANDIR) \
+               install install-doc
 
        mkdir -p $(DOC_DESTDIR)
        find $(DOC) '(' -name '*.txt' -o -name '*.html' ')' -exec install {} $(DOC_DESTDIR) ';'