Merge pull request #42 from carolynzech/metrics-test

fix

.gitignore

@@ -26,6 +26,8 @@ library/target
 *.rmeta
 *.mir
 Cargo.lock
+/doc/mdbook-metrics/target
+*.png
 
 ## Temporary files
 *~

doc/book.toml

@@ -20,7 +20,10 @@ runnable = false
 [output.linkcheck]
 
 [preprocessor.metrics]
-command = "cargo run --manifest-path=mdbook-metrics/Cargo.toml --locked"
+# Note that the manifest-path is doc/mdbook-metrics, meaning that to build this book, you need to run "mdbook build doc"
+# rather than "mdbook build" from inside the doc/ directory.
+# We choose the former because our "Build Book" Github workflow runs "mdbook build doc."
+command = "cargo run --manifest-path=doc/mdbook-metrics/Cargo.toml"
 
 [rust]
 edition = "2021"

doc/mdbook-metrics/Cargo.toml

@@ -5,6 +5,4 @@ edition = "2021"
 
 [dependencies]
 mdbook = { version = "^0.4" }
-pulldown-cmark = { version = "0.12.2", default-features = false }
-pulldown-cmark-to-cmark = "18.0.0"
 serde_json = "1.0.132"

doc/mdbook-metrics/src/main.rs

@@ -30,9 +30,9 @@ fn main() {
 fn run_kani_metrics_script() -> Result<(), Error> {
     // This will be the absolute path to the "doc/" folder
     let original_dir = env::current_dir()?;
-    let tools_path = original_dir.join(Path::new("src/tools"));
+    let tools_path = original_dir.join(Path::new("doc/src/tools"));
 
-    let kani_std_analysis_path = Path::new("../scripts/kani-std-analysis");
+    let kani_std_analysis_path = Path::new("scripts/kani-std-analysis");
     env::set_current_dir(kani_std_analysis_path)?;
 
     Command::new("pip")