From 0e0d56d805119d0788a7876a798f13ce2a130a7e Mon Sep 17 00:00:00 2001 From: Fabian Boehm Date: Wed, 11 Dec 2024 16:51:25 +0100 Subject: [PATCH] format --- build.rs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/build.rs b/build.rs index f812e390f..1584b14a8 100644 --- a/build.rs +++ b/build.rs @@ -379,10 +379,7 @@ fn build_man(build_dir: &Path) { } Err(x) => { // Another error - permissions wrong etc - panic!( - "Error starting sphinx-build to build man pages: {:?}", - x - ); + panic!("Error starting sphinx-build to build man pages: {:?}", x); } Ok(mut x) => match x.wait() { Err(err) => {