From 9fa87173fdc32409576d5749ed787a3d51a98f0d Mon Sep 17 00:00:00 2001
From: evonneng <evonne_ng@berkeley.edu>
Date: Tue, 7 Jun 2022 03:04:00 +0000
Subject: [PATCH] added make file run in debug

---
 scripts/debugging/run_actions.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/debugging/run_actions.py b/scripts/debugging/run_actions.py
index 79f9cf029..f5a560296 100644
--- a/scripts/debugging/run_actions.py
+++ b/scripts/debugging/run_actions.py
@@ -21,3 +21,6 @@ if __name__ == "__main__":
         else:
             print("*" * 100)
             print(f"Skipping {step}")
+
+    # Add checks for building documentation
+    subprocess.call("cd docs/; make html; cd ../", shell=True)