diff --git a/.mvn/maven.config b/.mvn/maven.config index 87735fa0a..e30045925 100644 --- a/.mvn/maven.config +++ b/.mvn/maven.config @@ -3,3 +3,5 @@ # If you're using a plugin that causes this warning, please upgrade to the latest version and report an issue if the warning persists. # To disable these warnings, set -Dmaven.project.sourceRoots.warningsDisabled=true on the command line or in the .mvn/maven.config file. -Dmaven.project.sourceRoots.warningsDisabled=true +--no-transfer-progress +-Dstyle.color=always \ No newline at end of file diff --git a/tools/FindBugsExcludeFilter.xml b/tools/FindBugsExcludeFilter.xml deleted file mode 100644 index eb410b99c..000000000 --- a/tools/FindBugsExcludeFilter.xml +++ /dev/null @@ -1,60 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/tools/ManualJavadocsDeploy.sh b/tools/ManualJavadocsDeploy.sh index 78637ee02..0d7898a1e 100755 --- a/tools/ManualJavadocsDeploy.sh +++ b/tools/ManualJavadocsDeploy.sh @@ -1,7 +1,11 @@ #!/bin/bash set -e -TAG_NAME="test" +# Assumes that a remote branch named 'gh-pages' exists. +# If a local branch 'gh-pages' exists it will be overwritten. + +# MODIFY THIS TAG_NAME! +TAG_NAME="test" # Build and Generate Javadoc # POM is configured to output to target/site/apidocs echo "ECHO: mvn clean javadoc:javadoc"