domtool: deploy server and slave simultaneously on fritz

[hcoop/scripts.git] / deploy-domtool-on-host

diff --git a/deploy-domtool-on-host b/deploy-domtool-on-host
index b0ad1a3..c76fbd3 100755 (executable)
--- a/deploy-domtool-on-host
+++ b/deploy-domtool-on-host
@@ -26,7 +26,7 @@ fi
 
 if [ "$1" = "--server" ]; then
     echo "Installing Server"
-    sudo make install_server
+    sudo make install_serverslave
     domtool-doc -basis -out /afs/hcoop.net/user/h/hc/hcoop/public_html/domtool
 fi