Improved lint to focus on markdown and fixed images in the developer guide

Author: shai-almog

.github/workflows/website-docs.yml

@@ -72,20 +72,22 @@ jobs:
           WEBSITE_INCLUDE_JAVADOCS: "true"
           WEBSITE_INCLUDE_DEVGUIDE: "true"
 
-      - name: Lint internal links and images
+      - name: Lint markdown links and static images
         run: |
           set -euo pipefail
-          python3 scripts/website/lint_site_links.py \
-            --site-dir docs/website/public \
+          python3 scripts/website/lint_markdown_links.py \
+            --content-root docs/website/content \
+            --static-root docs/website/static \
+            --redirects-file docs/website/static/_redirects \
             --max-log-errors 300 \
-            --report-file docs/website/reports/link-lint-report.txt
+            --report-file docs/website/reports/markdown-link-lint-report.txt
 
-      - name: Upload link lint report
+      - name: Upload markdown link lint report
         if: ${{ always() }}
         uses: actions/upload-artifact@v4
         with:
-          name: link-lint-report
-          path: docs/website/reports/link-lint-report.txt
+          name: markdown-link-lint-report
+          path: docs/website/reports/markdown-link-lint-report.txt
           if-no-files-found: ignore
 
       - name: Audit source URLs (absolute/WordPress)

scripts/website/build.sh

@@ -64,15 +64,12 @@ build_developer_guide_for_site() {
   )
 
   cp "${html_out}/developer-guide.html" "${manual_dir}/index.html"
-  cp "${html_out}/developer-guide.html" "${WEBSITE_DIR}/static/developer-guide.html"
-
-  for asset_dir in "${source_dir}"/*; do
-    local base_name
-    base_name="$(basename "${asset_dir}")"
-    if [ -d "${asset_dir}" ] && [ "${base_name}" != "sketch" ]; then
-      cp -R "${asset_dir}" "${manual_dir}/"
-    fi
-  done
+  # Keep assets next to /manual/index.html exactly where generated HTML resolves them.
+  rsync -a \
+    --exclude 'sketch/' \
+    --exclude '*.asciidoc' \
+    --exclude '*.adoc' \
+    "${source_dir}/" "${manual_dir}/"
 }
 
 if ! command -v "${HUGO_BIN}" >/dev/null 2>&1; then