From bc7926308d5c0d76274b5bfbe42c31cd4cfe4d3c Mon Sep 17 00:00:00 2001
From: Shai Almog <67850168+shai-almog@users.noreply.github.com>
Date: Sun, 26 Apr 2026 04:25:27 +0300
Subject: [PATCH] Update Developer Guide revdate to build date

Pass -a revdate=$(date +%Y-%m-%d) to asciidoctor when generating the
website's Developer Guide so the header reflects the date the HTML was
produced instead of the stale value baked into developer-guide.asciidoc.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 scripts/website/build.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/website/build.sh b/scripts/website/build.sh
index c4c8f6118f..f511a81d55 100755
--- a/scripts/website/build.sh
+++ b/scripts/website/build.sh
@@ -343,6 +343,9 @@ build_developer_guide_for_site() {
   rm -f "${WEBSITE_DIR}/static/developer-guide.html"
   mkdir -p "${html_out}" "${guide_dir}" "${generated_dir}"
 
+  local build_date
+  build_date="$(date +%Y-%m-%d)"
+
   (
     cd "${REPO_ROOT}"
     asciidoctor \
@@ -350,6 +353,7 @@ build_developer_guide_for_site() {
       -a linkcss \
       -a copycss \
       -a rouge-css=style \
+      -a revdate="${build_date}" \
       -D "${html_out}" \
       -o developer-guide-full.html \
       docs/developer-guide/developer-guide.asciidoc