From 1f9d6089cd4392eeaeef55fcc4ff0dcb5b382f3a Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <reinier@tipit.to>
Date: Wed, 7 Oct 2009 20:48:07 +0200
Subject: build.xml was getting rather large, so its been split up into
 separate scripts. The scripts have also gained the ability to build certain
 dependencies, such as lombok.patcher which is being worked on in tandem with
 this project, automatically.

Also, the deps system has been changed slightly; the agents builds and the main lombok build now all work off of a single dependency directory.

Also removed the website/publish script, as we haven't used github's project hosting for some time now.
---
 website/publish | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100755 website/publish

(limited to 'website')

diff --git a/website/publish b/website/publish
deleted file mode 100755
index 412c71f6..00000000
--- a/website/publish
+++ /dev/null
@@ -1,37 +0,0 @@
-#!/bin/bash
-
-if [ ! -e src/lombok/core/Version.java ]; then
-	echo Run this script from the lombok project home directory.
-	exit
-fi
-
-if [ ! -e dist/website.tar.bz2 ]; then
-	echo There is no dist/website.tar.bz2 file! Run:
-	echo ant website
-	echo then restart this script
-	exit
-fi
-
-mkdir -p build/temp || exit
-cd build/temp || exit
-git clone -l -n ../.. websitegit || exit
-cd websitegit || exit
-BRANCHOK="foo"
-git branch gh-pages origin/gh-pages || BRANCHOK="bar"
-if [ $BRANCHOK == "bar" ]; then
-echo If you get error fatal: Not a valid object name: origin/gh-pages.
-echo then run: git branch gh-pages origin/gh-pages
-echo first before running this script
-    exit
-fi
-git checkout gh-pages || exit
-rm -r * || exit
-tar xfj ../../../dist/website.tar.bz2 || exit
-git add . || exit
-git commit -a -m website || exit
-git push origin gh-pages || exit
-cd .. || exit
-rm -rf websitegit || exit
-
-echo Your gh-pages branch has been updated. Do not forget to run:
-echo git push origin gh-pages
-- 
cgit