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 {