From 530cc4fe72f26e3303b23998c2f663a3da16f44f Mon Sep 17 00:00:00 2001
From: James Strachan <james.strachan@gmail.com>
Date: Mon, 19 Mar 2012 11:11:53 +0000
Subject: [PATCH] removed old shell script - we use the maven build now to
 create the kdoc reports

---
 updatedoc.sh | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 updatedoc.sh

diff --git a/updatedoc.sh b/updatedoc.sh
deleted file mode 100755
index eb2bb56d624..00000000000
--- a/updatedoc.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/sh -e
-# generates the API docs and uploads them to github pages
-# for help on github pages see: http://pages.github.com/
-
-ec() {
-    echo "$@" >&2
-    "$@"
-}
-
-ec cd $(dirname $0)
-
-# TODO can we fail the build if the docs are not created?
-ec ant doc
-
-echo "Cloning/pulling latest gh-pages branch"
-
-if [ ! -e gh-pages ]; then
-    ec git clone -b gh-pages git@github.com:JetBrains/kotlin.git gh-pages
-    ec cd gh-pages
-else
-    ec cd gh-pages
-    ec git checkout gh-pages
-    ec git pull --rebase
-fi
-ec git rm -r apidoc
-ec cp -r ../dist/apidoc apidoc
-ec git add apidoc
-ec git commit -m "latest apidocs"
-ec git push
-
-echo "Updated github pages for apidocs"