From a3f4748183623fa0e92381f3e49c29ebcdcbb56e Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 07 Jul 2011 18:02:55 -0400
Subject: [PATCH] Documentation. Generate properties site page at build time.
---
build.xml | 12 ++----------
1 files changed, 2 insertions(+), 10 deletions(-)
diff --git a/build.xml b/build.xml
index 406fbd9..954bc03 100644
--- a/build.xml
+++ b/build.xml
@@ -382,14 +382,6 @@
</fileset>
</copy>
- <!-- Copy google-code-prettify -->
- <mkdir dir="${basedir}/src/com/gitblit/wicket/pages/prettify" />
- <copy todir="${project.site.dir}/prettify">
- <fileset dir="${basedir}/src/com/gitblit/wicket/pages/prettify">
- <exclude name="thumbs.db" />
- </fileset>
- </copy>
-
<!-- Generate thumbnails of screenshots -->
<java classpath="${project.build.dir}" classname="com.gitblit.build.BuildThumbnails">
<classpath refid="master-classpath" />
@@ -454,10 +446,10 @@
<arg value="--substitute" />
<arg value="%JGIT%=${jgit.version}" />
- <arg value="--load" />
+ <arg value="--properties" />
<arg value="%PROPERTIES%=${basedir}/distrib/gitblit.properties" />
- </java>
+ </java>
</target>
--
Gitblit v1.9.1