From dc89dd7f0a0fc775ee5b5b17148a8408577e7217 Mon Sep 17 00:00:00 2001 From: Ryan May Date: Mon, 30 Oct 2023 11:57:52 -0600 Subject: [PATCH] Ok, how about 10? --- docs/make_areas.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make_areas.py b/docs/make_areas.py index 82a2138a8a8..1eea5e5986d 100644 --- a/docs/make_areas.py +++ b/docs/make_areas.py @@ -95,7 +95,7 @@ def generate_area_file(app): """) table.write(code) - if ind >= 5: + if ind >= 10: break