Merge pull request #17394 from bradcray/update-docs-version-button
Update docs version button to reflect staged documents
[rote during the release, not reviewed]
This updates the docs button for the website to reflect the fact that the staged docs are for 1.24, the master/main branch is now 1.25.
Modified Files: M doc/rst/conf.py