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.

1 files changed, 0 insertions, 37 deletions

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