kaz 2003/01/21 12:38:10
Modified: src/plugins-build/xdoc plugin.jelly
Log:
Provided an alternative method for specifying custom UI properties.
Users can set the property 'maven.ui.property.file' to point to their
own custom ui property file that contains the maven.ui.* properties.
These will override the default maven properties.
Revision Changes Path
1.51 +16 -0 jakarta-turbine-maven/src/plugins-build/xdoc/plugin.jelly
Index: plugin.jelly
===================================================================
RCS file: /home/cvs/jakarta-turbine-maven/src/plugins-build/xdoc/plugin.jelly,v
retrieving revision 1.50
retrieving revision 1.51
diff -u -r1.50 -r1.51
--- plugin.jelly 21 Jan 2003 16:31:58 -0000 1.50
+++ plugin.jelly 21 Jan 2003 20:38:10 -0000 1.51
@@ -262,6 +262,22 @@
<!-- Read in the ui properties. -->
<util:properties uri="file:${plugin.dir}/ui.properties" var="uiProperties"/>
+ <!--
+ | Load in a user's custom ui property file. These properties will
+ | override the default maven settings. I'm not sure if there is an
+ | easier way to overriding the properties without iterating over each
+ | of them. Ideally, I think the jelly property tag should let you
+ | merge multiple property files.
+ |-->
+ <j:set var="customUiPropertyFile" value="${maven.ui.property.file}"/>
+ <j:if test="${!empty(customUiPropertyFile)}">
+ <util:properties uri="file:${customUiPropertyFile}" var="customUiProperties"/>
+ <j:forEach var="customUiProperty" items="${customUiProperties.keys()}">
+ <j:set var="dummy"
+ value="${uiProperties.setProperty(customUiProperty.toString(),
customUiProperties.getProperty(customUiProperty))}"/>
+ </j:forEach>
+ </j:if>
+
<!-- Copy maven supplied stylesheets. -->
<copy todir="${maven.docs.dest}/style" overwrite="yes" filtering="yes">
<fileset dir="${plugin.dir}/css">
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
