git checkout release # just in case
git pull
-make
+make -j2
if [ x"$2" = "x--bootstrap" ]; then
sudo make install
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