Generate Legion docs from stable branch (#23)

StanfordLegion · Aug 8, 2024 · d88814a · d88814a
1 parent 5fa1ea6
commit d88814a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -58,7 +58,7 @@ messages: legion
 
 .PHONY: legion
 legion:
-	@if [ -d _legion ]; then git -C _legion pull --ff-only; else git clone -b master https://github.com/StanfordLegion/legion.git _legion; fi
+	@if [ -d _legion ]; then git -C _legion pull --ff-only; else git clone -b stable https://github.com/StanfordLegion/legion.git _legion; fi
 
 .PHONY: manual
 manual: