Disable tools for PPA deployment

Author: scheibel

deploy/ubuntu-ppa/debian/rules

@@ -11,7 +11,7 @@ build: build-arch
 
 build-arch:
 	mkdir $(BUILDDIR)
-	cd $(BUILDDIR);cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DOPTION_BUILD_TESTS=Off -DOPTION_BUILD_EXAMPLES=Off -DOPTION_BUILD_DOCS=On ..
+	cd $(BUILDDIR);cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DOPTION_BUILD_TESTS=Off -DOPTION_BUILD_EXAMPLES=Off -DOPTION_BUILD_TOOLS=Off -DOPTION_BUILD_DOCS=On ..
 	make -C $(BUILDDIR)
 
 # thirdly called by launchpad