build.rs: add rerun-if-changed

pull/234/head
Manos Pitsidianakis 4 years ago
parent 0ebad39b50
commit a496de2794
No known key found for this signature in database
GPG Key ID: 73627C2F690DF710

@ -20,6 +20,7 @@
*/
fn main() {
println!("cargo:rerun-if-changed=build.rs");
#[cfg(feature = "cli-docs")]
{
const MANDOC_OPTS: &[&'static str] = &["-T", "utf8", "-I", "os=Generated by mandoc(1)"];

Loading…
Cancel
Save