110 |
<property name="jsr166ysrc.dir" location="${topsrc.dir}/jsr166y"/> |
<property name="jsr166ysrc.dir" location="${topsrc.dir}/jsr166y"/> |
111 |
<property name="jsr166esrc.dir" location="${topsrc.dir}/jsr166e"/> |
<property name="jsr166esrc.dir" location="${topsrc.dir}/jsr166e"/> |
112 |
<property name="extra166ysrc.dir" location="${topsrc.dir}/extra166y"/> |
<property name="extra166ysrc.dir" location="${topsrc.dir}/extra166y"/> |
|
<property name="jdksrc.dir" location="/home/dl/1.6.0/j2se/martin/j2se/src/share/classes"/> |
|
113 |
|
|
114 |
<!-- Distribution locations --> |
<!-- Distribution locations --> |
115 |
<property name="dist.javadocs.dir" location="${dist.dir}/jsr166.docs"/> |
<property name="dist.javadocs.dir" location="${dist.dir}/jsr166.docs"/> |