equal
deleted
inserted
replaced
23 if [ $(which hg) ]; then |
23 if [ $(which hg) ]; then |
24 |
24 |
25 branch=$(hg identify -b) |
25 branch=$(hg identify -b) |
26 rev=$(hg identify -rdefault -i) |
26 rev=$(hg identify -rdefault -i) |
27 |
27 |
28 branchurl="<a href=http://code.google.com/p/hedgewars/source/list?name=${branch}>${branch}</a>" |
28 #branchurl="<a href=http://code.google.com/p/hedgewars/source/list?name=${branch}>${branch}</a>" |
29 revurl="<a href=http://code.google.com/p/hedgewars/source/detail?r=${rev}>${rev}</a>" |
29 #revurl="<a href=http://code.google.com/p/hedgewars/source/detail?r=${rev}>${rev}</a>" |
30 |
30 |
31 export PROJECT_NUMBER="${branchurl} as of ${revurl}" |
31 branchurl="$branch" |
|
32 revurl="$rev" |
|
33 |
|
34 export PROJECT_NUMBER="${branchurl} branch, ${revurl}" |
32 export OUTPUT_DIRECTORY |
35 export OUTPUT_DIRECTORY |
33 |
36 |
34 fi |
37 fi |
35 |
38 |
36 doxygen |
39 doxygen |