Update domtool library manual when installing server
authorClinton Ebadi <clinton@unknownlamer.org>
Tue, 23 Jul 2013 01:37:46 +0000 (21:37 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Tue, 23 Jul 2013 01:37:46 +0000 (21:37 -0400)
deploy-domtool-on-host

index 431e79c..b0ad1a3 100755 (executable)
@@ -27,6 +27,7 @@ fi
 if [ "$1" = "--server" ]; then
     echo "Installing Server"
     sudo make install_server
 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
 fi
 
 if [ "$1" = "--slave" ]; then