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();