Chore: Website: Include the plugin discovery website on joplinapp.org/ (#9469)

packages/doc-builder/docusaurus.config.js

@@ -72,7 +72,6 @@ const config = {
 							'mobile',
 							'note_history',
 							'notifications',
-							'plugins',
 							'profiles',
 							'publish_note',
 							'rich_text_editor',
@@ -80,6 +79,11 @@ const config = {
 							'share_notebook',
 							'subnotebooks',
 							'terminal',
+
+							// Redirect disabled: This URL is now used for the plugin discovery
+							// website. 
+							// 'plugins',
+
 						];
 
 						for (const p of oldAppsPages) {

packages/tools/release-website.sh

@@ -58,6 +58,34 @@ Auto-updated using $SCRIPT_NAME" || true
 git pull --rebase
 git push
 
+
+# Copy and update the plugin website.
+# 
+# For security, the plugin website is built in a separate job without access to SSH
+# keys. This file contains the built output of the other job.
+BUILT_PLUGIN_WEBSITE_FILE="$JOPLIN_ROOT_DIR/../plugin-website.tar.gz"
+
+if [ -f "$BUILT_PLUGIN_WEBSITE_FILE" ]; then
+	cd "$JOPLIN_WEBSITE_ROOT_DIR"
+
+	mkdir -p plugins
+	cd plugins
+
+	tar -xzvf "$BUILT_PLUGIN_WEBSITE_FILE"
+	cd "$JOPLIN_WEBSITE_ROOT_DIR"
+
+	git add -A
+	git commit -m "Updated plugin discovery website
+
+Auto-updated using $SCRIPT_NAME" || true
+
+	git pull --rebase
+	git push
+else
+	echo "Not updating plugin website -- release ($BUILT_PLUGIN_WEBSITE_FILE) not present"
+	exit 1
+fi
+
 # ------------------------------------------------------------------------------
 # Build and deploy the website
 # ------------------------------------------------------------------------------