From b50ffe373a40012e5ef31bdd88f4a7c5091cad9b Mon Sep 17 00:00:00 2001
From: Edwin Kempin <edwin.kempin@sap.com>
Date: Wed, 17 Oct 2012 15:04:47 +0200
Subject: [PATCH] Ensure that the release notes are made when executing
 tools/release.sh

The release notes are now made when a release is created by running the
tools/release.sh script and the creation of the documentation is not
explicitly disabled.

Change-Id: I75a2e67cc3c25991ed2347076efe30a54888bdc6
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
---
 gerrit-war/pom.xml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gerrit-war/pom.xml b/gerrit-war/pom.xml
index a62831c685..b99340590d 100644
--- a/gerrit-war/pom.xml
+++ b/gerrit-war/pom.xml
@@ -184,6 +184,33 @@ limitations under the License.
               <goal>run</goal>
             </goals>
           </execution>
+          <execution>
+            <id>include-release-notes</id>
+            <phase>process-classes</phase>
+            <configuration>
+              <target if="gerrit.include-documentation">
+                <property name="src" location="${basedir}/../ReleaseNotes" />
+                <property name="out" location="${project.build.directory}/${project.build.finalName}" />
+                <property name="dst" location="${out}/ReleaseNotes" />
+
+                <exec dir="${src}" executable="make">
+                  <arg value="VERSION=${project.version}" />
+                  <arg value="clean" />
+                  <arg value="all" />
+                </exec>
+
+                <mkdir dir="${dst}" />
+                <copy overwrite="true" todir="${dst}">
+                  <fileset dir="${src}">
+                    <include name="*.html" />
+                  </fileset>
+                </copy>
+              </target>
+            </configuration>
+            <goals>
+              <goal>run</goal>
+            </goals>
+          </execution>
         </executions>
       </plugin>
     </plugins>