Documentation. Generate properties site page at build time.

James Moger

2011-07-07 a3f4748183623fa0e92381f3e49c29ebcdcbb56e

 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" />

@@ -423,9 +415,15 @@


         <arg value="--pageHeader" />

         <arg value="${basedir}/docs/site_header.html" />



			
         <arg value="--pageFooter" />

         <arg value="${basedir}/docs/site_footer.html" />



         <arg value="--analyticsSnippet" />

         <arg value="${basedir}/docs/site_analytics.html" />

				
         <arg value="--adSnippet" />

         <arg value="${basedir}/docs/site_ads.html" />



         <arg value="--alias" />

         <arg value="index=overview" />

@@ -448,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>