diff --git a/project.properties b/project.properties index 98998301..48c7c23c 100644 --- a/project.properties +++ b/project.properties @@ -15,14 +15,11 @@ # ------------------------------------------------------------------- #==================================================================== -# WARNING: All these properties are inherited by the plugin projects +# WARNING: All these properties are for the master build only and +# should *not* be inherited by the plugin projects. Plugin projects +# must now inherit from /etc/project.xml. #==================================================================== -# Display the date on the Maven web site -maven.xdoc.date = left -maven.xdoc.date.format = dd MMMM yyyy HH:mm z -maven.xdoc.distributionUrl=http://www.ibiblio.org/maven/maven/plugins - # Enable HTML to xdoc transformation maven.html2xdoc.enabled=true @@ -33,13 +30,6 @@ maven.dashboard.aggregators = csall,clovertpc,cloverloc,cloverncloc,junittests,j # Clover aggregator can extract Clover data maven.clover.report.xml=true -# Checkstyle plugin settings -maven.checkstyle.header.file = ${basedir}/../checkstyle-license.txt -maven.checkstyle.properties = ${basedir}/../checkstyle.xml - -# License plugin settings -maven.license.licenseFile=${basedir}/../LICENSE.txt - # Multiproject plugin settings maven.multiproject.navigation=independent maven.multiproject.overviewPage.title=Maven Optional Plugins