change tools to pom

Vladimir Kotal · Vladimir Kotal · commit 0a78196631fa · 2018-08-02T15:21:58.000+02:00
diff --git a/distribution/pom.xml b/distribution/pom.xml
@@ -38,6 +38,7 @@
       <groupId>org.opengrok</groupId>
       <artifactId>tools</artifactId>
       <version>1.1-rc35</version>
+      <type>pom</type>
     </dependency>
   </dependencies>
 
