source:
trunk/dev/bin/script/DEBUG-EXPEDITEE-RECLAIM-DOCUMENTATION.sh
Last change on this file was 986, checked in by , 9 years ago | |
---|---|
|
|
File size: 1008 bytes |
Line | |
---|---|
1 | #!/bin/bash |
2 | |
3 | if [ "x$expeditee_filespace_home" = "x" ] ; then |
4 | expeditee_filespace_home="/tmp/expeditee-filespace-home" |
5 | fi |
6 | |
7 | argc=$# |
8 | if [ $argc != 1 ] ; then |
9 | echo "Usage: DEBUG-EXPEDITEE-RECLAIM-DOCUMENTATION.sh doc-frameset" 1>&2 |
10 | exit |
11 | fi |
12 | |
13 | fset=$1 |
14 | |
15 | if [ ! -d "$expeditee_filespace_home/documentation/$fset" ] ; then |
16 | echo "Error: Failed to find directory '$fset'" 1>&2 |
17 | exit |
18 | fi |
19 | |
20 | |
21 | echo "****" |
22 | |
23 | echo "* Reclaiming document frameset '$fset' from expeditee.home=$expeditee_filespace_home" |
24 | echo " ..." |
25 | |
26 | echo " Copying from: " |
27 | echo " $expeditee_filespace_home/documentation/$fset" |
28 | echo " To:" |
29 | echo " $EXPEDITEE_HOME/src/org/expeditee/assets/resources/documentation/." |
30 | |
31 | /bin/cp -r $expeditee_filespace_home/documentation/$fset \ |
32 | $EXPEDITEE_HOME/src/org/expeditee/assets/resources/documentation/. |
33 | |
34 | echo " ... Done" |
35 | echo "****" |
36 | |
37 | echo "" |
38 | echo "****" |
39 | echo "* Now run:" |
40 | echo "* ant jar" |
41 | echo "* to ensure the new documentation frameset is bundled into Expeditee.jar" |
42 | echo "****" |
Note:
See TracBrowser
for help on using the repository browser.