Make lake into local lake in import_graph.py

YaelDillies · Jan 30, 2025 · 16772dc · 16772dc
1 parent b12de8a
commit 16772dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/import_graph.py b/scripts/import_graph.py
@@ -11,7 +11,7 @@ def main():
   md_path = f"{folder_path}/import-graph-viz.md"
 
   print("Running ", f"lake exe graph {dot_path} --exclude-meta")
-  os.system(f"lake exe graph {dot_path} --exclude-meta")
+  os.system(f"~/.elan/bin/lake exe graph {dot_path} --exclude-meta")
 
   print("Stabilizing wait")