cosmetics and docs

This commit is contained in:
sergeych committed 2025-12-17 22:12:08 +01:00
1 parent f7a4497f3f
commit 00503fa105
3 files changed
+3 -3

No files matched your search

+1 -1
View File
@@ -101,7 +101,7 @@ die() { echo "ERROR: $*" 1>&2 ; exit 1; }
# Update the IDEA plugin download link in docs (temporarily), then build, then restore the doc
updateIdeaPluginDownloadLink || echo "WARN: proceeding without updating IDEA plugin download link"
./gradlew site:clean site:jsBrowserDistribution
./gradlew site:jsBrowserDistribution
BUILD_RC=$?
# Always restore original doc if backup exists