From 07aa1f9138f93a1263639319807490a44b6eed44 Mon Sep 17 00:00:00 2001
From: Frank Elsinga <frank@elsinga.de>
Date: Wed, 16 Apr 2025 23:41:24 +0200
Subject: [PATCH] test if cargo::rerun-if-env-changed fixes CI

---
 martin/build.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/martin/build.rs b/martin/build.rs
index cb1dc03e2..8c0f248d2 100644
--- a/martin/build.rs
+++ b/martin/build.rs
@@ -102,6 +102,7 @@ fn webui() {
 }
 
 fn main() {
+    println!("cargo::rerun-if-env-changed=RUSTDOC");
     #[cfg(feature = "webui")]
     if std::env::var_os("RUSTDOC").is_none() {
         webui();