45 |
|
|
46 |
|
done |
47 |
|
|
48 |
< |
## Check for jacorb properties file |
48 |
> |
## Cache javadoc API package-list files |
49 |
> |
echo "> Caching remote API's" |
50 |
|
|
51 |
< |
echo "> Checking for jacorb.properties" |
52 |
< |
cd ${HOME} |
53 |
< |
if test -r "jacorb.properties"; then \ |
54 |
< |
echo " + jacorb.properties found"; \ |
51 |
> |
JDKURL="http://java.sun.com/j2se/1.4.2/docs/api/" |
52 |
> |
mkdir -p ${SRCROOT}/.api-cache/jdk |
53 |
> |
cd ${SRCROOT}/.api-cache/jdk |
54 |
> |
if test -r "package-list"; then \ |
55 |
> |
echo " + jdk/package-list found"; \ |
56 |
|
else \ |
57 |
< |
echo " - jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ |
58 |
< |
${WGET} ${HTTPSERVER}jacorb.properties; \ |
57 |
> |
echo " - jdk/package-list not found, fetching from ${JDKURL}package-list"; \ |
58 |
> |
${WGET} ${JDKURL}package-list; \ |
59 |
|
fi |
60 |
|
|
61 |
|
## Write out the include file for the Makefile's |