From 1793a5775910292f373f56c33d1b9a8589ebf8dc Mon Sep 17 00:00:00 2001 From: Lee Rhodes Date: Mon, 27 Jul 2026 14:57:07 -0700 Subject: [PATCH] Update maven.config and ManualJavadocsDeploy.sh. Remove tools/FindBugsExcludeFilter.xml it is not used. --- .mvn/maven.config | 2 ++ tools/FindBugsExcludeFilter.xml | 60 --------------------------------- tools/ManualJavadocsDeploy.sh | 6 +++- 3 files changed, 7 insertions(+), 61 deletions(-) delete mode 100644 tools/FindBugsExcludeFilter.xml 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"