diff extra/soundsoftware/extract-javadoc.sh @ 223:c3544e9fd588 feature_20

* Some work on managing ownerships etc for doc extraction

--- a/extra/soundsoftware/extract-javadoc.sh	Fri Feb 11 16:21:55 2011 +0000
+++ b/extra/soundsoftware/extract-javadoc.sh	Tue Feb 15 16:58:46 2011 +0000
@@ -1,20 +1,18 @@
 #!/bin/bash
 
-hgdir="/var/hg"
 docdir="/var/doc"
 
 project="$1"
-targetdir="$2"
+projectdir="$2"
+targetdir="$3"
 
-projectdir="$hgdir/$project"
-
-if [ -z "$project" ] || [ -z "$targetdir" ]; then
-    echo "Usage: $0 <project> <targetdir>"
+if [ -z "$project" ] || [ -z "$targetdir" ] || [ -z "$projectdir" ]; then
+    echo "Usage: $0 <project> <projectdir> <targetdir>"
     exit 2
 fi
 
-if [ ! -d "$projectdir" ] || [ ! -d "$projectdir/.hg" ]; then
-    echo "No hg repo found at $projectdir"
+if [ ! -d "$projectdir" ]; then
+    echo "Project directory $projectdir not found"
     exit 1
 fi