Fix spotlessCheck failing with a built manual (eisop#1660)

Co-authored-by: Aosen Xiong <aosenxiong@gmail.com>

Author: wmdietl

Makefile

@@ -13,7 +13,7 @@ ASCIIDOC_FILES:=$(shell find . -name "*.adoc")
 asciidoc-style-check:
 	asciidoctor -o /dev/null ${ASCIIDOC_FILES}
 
-PYTHON_FILES:=$(shell find . \( -name .do-like-javac -o -name .git-scripts \) -prune -o -name "*.py" -print)
+PYTHON_FILES:=$(shell find . \( -name .do-like-javac -o -name .git-scripts -o -name .plume-scripts \) -prune -o -name "*.py" -print)
 install-ruff:
 	@if ! command -v ruff ; then pipx install ruff ; fi
 python-style-fix: install-ruff

build.gradle

@@ -278,7 +278,8 @@ allprojects { currentProj ->
         'dataflow': ['manual/examples/**'],
         'docs': [
             'examples/BazelExample/bazel-BazelExample/**',
-            'examples/lombok/build/**'
+            'examples/lombok/build/**',
+            'manual/plume-bib/.plume-scripts/**',
         ],
         'framework': [
             'tests/build/**',

checker/bin-devel/test-misc.sh

@@ -21,20 +21,6 @@ PLUME_SCRIPTS="$SCRIPT_DIR/.plume-scripts"
 
 status=0
 
-## Code style and formatting
-JAVA_VER=$(java -version 2>&1 | head -1 | cut -d'"' -f2 | sed '/^1\./s///' | cut -d'.' -f1 | sed 's/-ea//' | sed 's/-beta//')
-if [ "${JAVA_VER}" != "8" ] && [ "${JAVA_VER}" != "11" ]; then
-  ./gradlew spotlessCheck --console=plain --warning-mode=all
-fi
-if grep -n -r --exclude-dir=build --exclude-dir=examples --exclude-dir=jtreg --exclude-dir=tests --exclude="*.astub" --exclude="*.tex" '^\(import static \|import .*\*;$\)'; then
-  echo "Don't use static import or wildcard import"
-  exit 1
-fi
-make style-check --jobs="$(getconf _NPROCESSORS_ONLN)"
-
-## HTML legality
-./gradlew htmlValidate --console=plain --warning-mode=all
-
 ## Javadoc documentation
 # Try twice in case of network lossage.
 (./gradlew javadoc --console=plain --warning-mode=all || (sleep 60 && ./gradlew javadoc --console=plain --warning-mode=all)) || status=1
@@ -70,3 +56,17 @@ git diff --exit-code docs/manual/contributors.tex \
 
 # Check gradle tasks are configured properly
 ./gradlew tasks
+
+## Code style and formatting
+JAVA_VER=$(java -version 2>&1 | head -1 | cut -d'"' -f2 | sed '/^1\./s///' | cut -d'.' -f1 | sed 's/-ea//' | sed 's/-beta//')
+if [ "${JAVA_VER}" != "8" ] && [ "${JAVA_VER}" != "11" ]; then
+  ./gradlew spotlessCheck --console=plain --warning-mode=all
+fi
+if grep -n -r --exclude-dir=build --exclude-dir=examples --exclude-dir=jtreg --exclude-dir=tests --exclude="*.astub" --exclude="*.tex" '^\(import static \|import .*\*;$\)'; then
+  echo "Don't use static import or wildcard import"
+  exit 1
+fi
+make style-check --jobs="$(getconf _NPROCESSORS_ONLN)"
+
+## HTML legality
+./gradlew htmlValidate --console=plain --warning-mode=all