@@ -0,0 +1,10 @@
#!/usr/bin/env bash
if [ ! -z "$1" ]; then
cd $1 || exit 1
fi
mvn clean javadoc:jar deploy || exit 1
cd - || exit 1
git add docs
git commit docs -m "Updated JavaDocs"
The note is not visible to the blocked user.