[build] Document how to mirror new Doxygen versions (#8327)

This commit is contained in:
Tyler Veness
2025-11-01 14:45:53 -07:00
committed by GitHub
parent e45aadc851
commit f4db88da9a

View File

@@ -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 {