From f4db88da9a3335f5fedb91ccfd4dcde7e9b7ace4 Mon Sep 17 00:00:00 2001
From: Tyler Veness <calcmogul@gmail.com>
Date: Sat, 1 Nov 2025 14:45:53 -0700
Subject: [PATCH] [build] Document how to mirror new Doxygen versions (#8327)

---
 docs/build.gradle | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/build.gradle b/docs/build.gradle
index 7071311dff..5a3784a883 100644
--- a/docs/build.gradle
+++ b/docs/build.gradle
@@ -54,6 +54,10 @@ doxygen {
     // https://frcmaven.wpi.edu/ui/native/generic-release-mirror/doxygen/, which
     // is a mirror of binaries from https://doxygen.nl/download.html.
     //
+    // To mirror a new Doxygen version, retrigger the GitHub Actions workflow in
+    // https://github.com/wpilibsuite/doxygen-mirror with the desired version
+    // number as an input.
+    //
     // Ensure theme.css (from https://github.com/jothepro/doxygen-awesome-css)
     // is compatible with Doxygen version when updating.
     executables {