git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4082902
)
JAL-3274 copy classes/.build_properties to site/swingjs/j2s/
author
Jim Procter
<jprocter@issues.jalview.org>
Wed, 22 May 2019 16:00:09 +0000
(17:00 +0100)
committer
Jim Procter
<jprocter@issues.jalview.org>
Wed, 22 May 2019 16:00:09 +0000
(17:00 +0100)
build-site.xml
patch
|
blob
|
history
diff --git
a/build-site.xml
b/build-site.xml
index
29f2745
..
0cc062d
100644
(file)
--- a/
build-site.xml
+++ b/
build-site.xml
@@
-31,6
+31,9
@@
<!-- non-Java resources to copy to site/swingjs/j2s -->
<property name="resource.dir" value="resources" />
<!-- non-Java resources to copy to site/swingjs/j2s -->
<property name="resource.dir" value="resources" />
+ <!-- build_properties datastamp file to copy to site/swingjs/j2s -->
+ <property name="build_properties" value="classes/.build_properties" />
+
<!-- non-Java resources to copy to site/ -->
<property name="site-resource.dir" value="site-resources" />
<!-- non-Java resources to copy to site/ -->
<property name="site-resource.dir" value="site-resources" />
@@
-75,7
+78,8
@@
<copy todir="${j2s.dir}">
<fileset dir="${resource.dir}">
<include name="**"/>
<copy todir="${j2s.dir}">
<fileset dir="${resource.dir}">
<include name="**"/>
- </fileset>
+ </fileset>
+ <fileset file="${build_properties}"/>
</copy>
<echo> Copying ${site-resource.dir} files into ${site.dir} </echo>
</copy>
<echo> Copying ${site-resource.dir} files into ${site.dir} </echo>