diff options
| author | James Moger <james.moger@gitblit.com> | 2011-05-27 23:37:24 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-05-27 23:37:24 -0400 |
| commit | 1f9daef870a8c7a984955166a542628d69012ed5 (patch) | |
| tree | 93972413a5affb9ae3096c7c15ae7b411b08b1ff /build.xml | |
| parent | 17c417dad5c7be28df4b6e1fd25ec56b484faaff (diff) | |
| download | gitblit-1f9daef870a8c7a984955166a542628d69012ed5.tar.gz gitblit-1f9daef870a8c7a984955166a542628d69012ed5.zip | |
Codepro analyze dependencies. Documentation.
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 19 |
1 files changed, 17 insertions, 2 deletions
@@ -25,7 +25,7 @@ <replacestring from="";" to="" />
<trim />
</tokenfilter>
- </filterchain>
+ </filterchain>
</loadfile>
<!-- extract JGit version number from source code -->
@@ -154,6 +154,14 @@ </fileset>
</copy>
+ <!-- Copy google-code-prettify -->
+ <mkdir dir="${basedir}/src/com/gitblit/wicket/pages/prettify" />
+ <copy todir="${basedir}/site/prettify">
+ <fileset dir="${basedir}/src/com/gitblit/wicket/pages/prettify">
+ <exclude name="thumbs.db" />
+ </fileset>
+ </copy>
+
<!-- Copy screenshot thumbnails -->
<mkdir dir="${basedir}/site/thumbs" />
<copy todir="${basedir}/site/thumbs">
@@ -187,6 +195,9 @@ <arg value="--alias" />
<arg value="index=overview" />
+
+ <arg value="--alias" />
+ <arg value="properties=gitblit.properties" />
<arg value="--substitute" />
<arg value="%VERSION%=${gb.version}" />
@@ -199,9 +210,13 @@ <arg value="--substitute" />
<arg value="%JGIT%=${jgit.version}" />
+
+ <arg value="--load" />
+ <arg value="%PROPERTIES%=${basedir}/distrib/gitblit.properties" />
+
</java>
- <!-- Cleanup -->
+ <!-- Cleanup -->
<delete dir="${project.build.dir}" />
</target>
</project>
|