From 4ec10d417f917d64dbe0c11f6628f4431538fe5c Mon Sep 17 00:00:00 2001 From: Brian Munkholm Date: Mon, 29 Sep 2025 13:34:29 +0200 Subject: [PATCH] Fix rebuild_all_docs link in jenkins.rst --- devs/docs/jenkins.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devs/docs/jenkins.rst b/devs/docs/jenkins.rst index 014a2ed..52324b8 100644 --- a/devs/docs/jenkins.rst +++ b/devs/docs/jenkins.rst @@ -74,5 +74,5 @@ To check up on the build, do this: - On the build page, select *Console Output* to view the console output of the build. -.. _rebuild_all_docs: https://jenkins.crate.io/job/crate_release_and_packaging/job/rebuild_all_docs/ +.. _rebuild_all_docs: https://jenkins.crate.io/job/Documentation/job/rebuild_all_docs/ .. _fastly_purge: https://jenkins.crate.io/job/crate.io/job/fastly_purge/