2 function setPrefix () {
4 echo "Usage: $0 PREFIX" >&2
11 function setConfigArgs () {
20 function setBuildTarget () {
21 if (( $# != 1 )); then
22 echo "Usage: $0 TARGET" >&2
29 function setDocDirectory () {
30 if (( $# != 1 )); then
31 echo "Usage: $0 DIRECTORY" >&2
38 function setDocTarget () {
39 if (( $# != 1 )); then
40 echo "Usage: $0 TARGET" >&2