domtool: make -j2 because we finally have enough ram

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

diff --git a/deploy-domtool-on-host b/deploy-domtool-on-host
index 431e79c..4fe939c 100755 (executable)
--- a/deploy-domtool-on-host
+++ b/deploy-domtool-on-host
@@ -10,7 +10,7 @@ cd /afs/hcoop.net/common/domtool/build/$(hostname)/domtool2
 git checkout release # just in case
 git pull
 
 git checkout release # just in case
 git pull
 

-make
+make -j2

 
 if [ x"$2" = "x--bootstrap" ]; then
     sudo make install
 
 if [ x"$2" = "x--bootstrap" ]; then
     sudo make install


@@ -26,7 +26,8 @@ fi
 
 if [ "$1" = "--server" ]; then
     echo "Installing Server"
 
 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
 
 if [ "$1" = "--slave" ]; then
 fi
 
 if [ "$1" = "--slave" ]; then