HCoop
/
hcoop
/
scripts.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Update domtool library manual when installing server
[hcoop/scripts.git]
/
deploy-domtool-on-host
diff --git
a/deploy-domtool-on-host
b/deploy-domtool-on-host
index
431e79c
..
b0ad1a3
100755
(executable)
--- 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