[JGIT PATCH 1/1] Generate javadoc when making jgit. Also, package docs into a zip for distribution.

From: Nicholas Campbell <nicholas.j.campbell@gmail.com>
Date: Aug 10, 2009, 04:32 UTC
Message-ID: <76596580908092132h1aab0c22qb364914ce9e827b2@mail.gmail.com>

Runs through defined "PLUGINS" and creates Javadoc. Assumes src is a subdir.

Signed-off-by: Nick Campbell <nicholas.j.campbell@gmail.com>
---
 make_jgit.sh |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/make_jgit.sh b/make_jgit.sh
index baaa3af..25ac15c 100755
--- a/make_jgit.sh
+++ b/make_jgit.sh
@@ -3,6 +3,7 @@
 O_CLI=jgit
 O_JAR=jgit.jar
 O_SRC=jgit_src.zip
+O_DOC=jgit_docs.zip

 PLUGINS="
        org.spearce.jgit
@@ -119,3 +120,12 @@ mv $O_CLI+ $O_CLI &&
 echo "Created $O_CLI." || die "Build failed."

 cleanup_bin
+
+echo "Build Docs"
+for p in $PLUGINS; do
+    javadoc -sourcepath "$p/src/" -d "docs/$p/" `find "$p/src" -name "*.java"`
+done
+
+jar cf "$O_DOC" docs/
+echo "Created $O_DOC."
+
--
1.6.0.4