release 0.7.2 HEAD master

1 files changed, 0 insertions, 42 deletions

diff --git a/tools/conf/srv/gitolite/deploy-web-doc b/tools/conf/srv/gitolite/deploy-web-doc
deleted file mode 100755
index b836515..0000000
--- a/tools/conf/srv/gitolite/deploy-web-doc
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/bin/bash
-######################################################################
-#
-# Put this file in your gitolite-admin;
-# ~/gitolite-admin/local/hooks/repo-specific/hook-deploy-web
-#
-# set host to empty to create package for each push
-# or set remote host to create package based on last deployed push
-# host="https://doc.localhost"
-host=""
-# set name of witch branch should be deployed
-branch_to_deploy="deploy_branch"
-
-######################################################################
-
-
-url="$host/.last_deploy"
-source /srv/gitolite/deploy/hook.sh
-read oldrev newrev refname
-push_branch=$(git rev-parse --symbolic --abbrev-ref $refname)
-
-#SCRIPT_VARS=$(set)
-#echo "project: $PROJECT"
-#echo "local dir: $PWD" > /srv/gitolite/deploy/${GL_REPO}
-#echo "${SCRIPT_VARS}" >> /srv/gitolite/deploy/${GL_REPO}
-
-if [[ $push_branch = $branch_to_deploy  ]]; then
-
-    # if host empty we make local tracking
-    if [[ $host = "" ]]; then
-        if [[ $(is_initial ${GL_REPO}) = "true" ]]; then
-            oldrev="initial"
-        fi
-    else
-        if [[ ! $(valid_url $url) = "true" ]]; then
-            echo "Deploy: set $url on remote to start creating packages"
-            exit 1
-        fi
-        oldrev=$(get_remote_rev $url)
-    fi
-    create_package ${GL_REPO} ${PWD} ${oldrev} ${newrev} "deploy-web.sh"
-fi