Add necessary resources to pom.xml

diff --git a/buildtools/pom.xml b/pom.xml
similarity index 94%
rename from buildtools/pom.xml
rename to pom.xml
index 15b6562639083b2eba02a431e820e46a75c8e0e9..2cb419374a729bd82b2a7965297ab7420b474a48 100644 (file)
--- a/buildtools/pom.xml
+++ b/pom.xml
@@ -57,6 +57,7 @@
                                        <include>tim/prune/gui/images/*</include>
                                        <include>tim/prune/lang/*</include>
                                        <include>tim/prune/function/srtm/srtmtiles.dat</include>
+                                       <include>tim/prune/function/srtm/viewfinder/tiles.dat</include>
                                        <include>tim/prune/*.txt</include>
                                </includes>
                        </resource>
@@ -78,6 +79,11 @@
                                <plugin>
                                        <artifactId>maven-compiler-plugin</artifactId>
                                        <version>3.8.0</version>
+                                               <configuration>
+          <compilerArgs>
+            <arg>-Xlint:deprecation</arg>
+          </compilerArgs>
+        </configuration>
                                </plugin>
                                <plugin>
                                        <artifactId>maven-jar-plugin</artifactId>