Mercurial > hg > soundsoftware-site
comparison extra/soundsoftware/extract-javadoc.sh @ 223:c3544e9fd588 feature_20
* Some work on managing ownerships etc for doc extraction
| author | Chris Cannam <chris.cannam@soundsoftware.ac.uk> |
|---|---|
| date | Tue, 15 Feb 2011 16:58:46 +0000 |
| parents | 1e55195bca45 |
| children | 73401a15037b |
comparison
equal
deleted
inserted
replaced
| 218:292cde42265a | 223:c3544e9fd588 |
|---|---|
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 | 2 |
| 3 hgdir="/var/hg" | |
| 4 docdir="/var/doc" | 3 docdir="/var/doc" |
| 5 | 4 |
| 6 project="$1" | 5 project="$1" |
| 7 targetdir="$2" | 6 projectdir="$2" |
| 7 targetdir="$3" | |
| 8 | 8 |
| 9 projectdir="$hgdir/$project" | 9 if [ -z "$project" ] || [ -z "$targetdir" ] || [ -z "$projectdir" ]; then |
| 10 | 10 echo "Usage: $0 <project> <projectdir> <targetdir>" |
| 11 if [ -z "$project" ] || [ -z "$targetdir" ]; then | |
| 12 echo "Usage: $0 <project> <targetdir>" | |
| 13 exit 2 | 11 exit 2 |
| 14 fi | 12 fi |
| 15 | 13 |
| 16 if [ ! -d "$projectdir" ] || [ ! -d "$projectdir/.hg" ]; then | 14 if [ ! -d "$projectdir" ]; then |
| 17 echo "No hg repo found at $projectdir" | 15 echo "Project directory $projectdir not found" |
| 18 exit 1 | 16 exit 1 |
| 19 fi | 17 fi |
| 20 | 18 |
| 21 if [ ! -d "$targetdir" ]; then | 19 if [ ! -d "$targetdir" ]; then |
| 22 echo "Target dir $targetdir not found" | 20 echo "Target dir $targetdir not found" |