From 1f9daef870a8c7a984955166a542628d69012ed5 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Fri, 27 May 2011 23:37:24 -0400 Subject: [PATCH] Codepro analyze dependencies. Documentation. --- build.xml | 19 +++++++++++++++++-- 1 files changed, 17 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index 2c8a24a..4b27910 100644 --- a/build.xml +++ b/build.xml @@ -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> -- Gitblit v1.9.1