diff options
| author | James Moger <james.moger@gitblit.com> | 2011-07-07 18:02:55 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-07-07 18:02:55 -0400 |
| commit | a3f4748183623fa0e92381f3e49c29ebcdcbb56e (patch) | |
| tree | 4cd633539c7781d8d3dfa14e36dc70b61bb33927 /build.xml | |
| parent | e7a153663f6432eb2bd0bb1cce06a9fa1c2be364 (diff) | |
| download | gitblit-a3f4748183623fa0e92381f3e49c29ebcdcbb56e.tar.gz gitblit-a3f4748183623fa0e92381f3e49c29ebcdcbb56e.zip | |
Documentation. Generate properties site page at build time.
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 12 |
1 files changed, 2 insertions, 10 deletions
@@ -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>
|