Merge pull request #73 from eclipse/1.3-branch

update spec pom.xml for proper html generation. Resolves #71.
eclipse · Jan 12, 2018 · e5bb8d1 · e5bb8d1
2 parents 7d3a6a3 + 3408b54
commit e5bb8d1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/spec/pom.xml b/spec/pom.xml
@@ -82,6 +82,11 @@
                         </goals>
                         <configuration>
                             <backend>html5</backend>
+                            <attributes>
+                                <revnumber>${project.version}</revnumber>
+                                <revremark>${revremark}</revremark>
+                                <revdate>${revisiondate}</revdate>
+                            </attributes>
                         </configuration>
                     </execution>
                 </executions>