From d88814a59ef4dbca4cc94ffd80faf4def9c1454b Mon Sep 17 00:00:00 2001
From: Elliott Slaughter <slaughter@cs.stanford.edu>
Date: Thu, 8 Aug 2024 09:54:54 -0700
Subject: [PATCH] Generate Legion docs from stable branch (#23)

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 428504a..558319d 100644
--- 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: