Fix gh-pages

* fix broken link to FindBugs report (now SpotBugs)
* no longer publish the *.pot file (that's now pushed to transifex.com)

.travis/after_script

@@ -19,14 +19,13 @@ if [ "$TRAVIS_BRANCH" == "master" ] && [ "$TRAVIS_JDK_VERSION" == "openjdk8" ] &
   git clone --depth=1 --branch=gh-pages "https://github.com/JOSM/Mapillary.git" "$pagesDir"
   cd "$pagesDir"
   git rm -r "*"
-  mkdir -p reports/ docs/ pot/
+  mkdir -p reports/ docs/
   cp -TR $mainDir/gh-pages .
   cp -R "$mainDir/build/docs/javadoc/" docs/javadoc/
   cp -R "$mainDir/build/reports/tests/" reports/junit/
   cp -R "$mainDir/build/reports/jacoco/" reports/jacoco/
   cp -R "$mainDir/build/reports/spotbugs/" reports/spotbugs/
   cp -R "$mainDir/build/reports/pmd/" reports/pmd/
-  cp -R "$mainDir/build/po/"*.pot pot/
   git stage --all
   git commit -m "Publish developer resources to GitHub pages
 

gh-pages/index.html

@@ -18,8 +18,8 @@ <h2>Developer resources</h2>
     <li><a href=./docs/javadoc/index.html>Javadoc</a></li>
     <li><a href=./reports/junit/test/index.html>JUnit test results</a></li>
     <li><a href=./reports/jacoco/index.html>Code coverage</a></li>
-    <li><a href=./reports/findbugs/main.html>FindBugs report (for main code)</a></li>
-    <li><a href=./reports/findbugs/test.html>FindBugs report (for unit tests)</a></li>
+    <li><a href=./reports/spotbugs/main.html>SpotBugs report (for main code)</a></li>
+    <li><a href=./reports/spotbugs/test.html>SpotBugs report (for unit tests)</a></li>
     <li><a href=./reports/pmd/main.html>PMD report (for main code)</a></li>
     <li><a href=./reports/pmd/test.html>PMD report (for unit tests)</a></li>
   </ul>