X-Git-Url: https://git.hcoop.net/hcoop/scripts.git/blobdiff_plain/652feaf609ebcfb07fab4b748d0dc312d2c46af2..572d9ea12db982823506ede6a77f0106b3b855e8:/deploy-domtool-on-host

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