From 937f3811d15d51ea3671bd1b066079e545380540 Mon Sep 17 00:00:00 2001
From: architeuthidae <am@m-labs.hk>
Date: Mon, 29 Jul 2024 11:27:48 +0800
Subject: [PATCH] doc: Rename main frontend tools page

---
 doc/manual/index.rst                                            | 2 +-
 .../{main_frontend_reference.rst => main_frontend_tools.rst}    | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename doc/manual/{main_frontend_reference.rst => main_frontend_tools.rst} (100%)

diff --git a/doc/manual/index.rst b/doc/manual/index.rst
index a76d87827..a07210ba0 100644
--- a/doc/manual/index.rst
+++ b/doc/manual/index.rst
@@ -48,7 +48,7 @@ ARTIQ manual
     :caption: References
     :maxdepth: 2
 
-    main_frontend_reference
+    main_frontend_tools 
     core_language_reference
     core_drivers_reference
     utilities
diff --git a/doc/manual/main_frontend_reference.rst b/doc/manual/main_frontend_tools.rst
similarity index 100%
rename from doc/manual/main_frontend_reference.rst
rename to doc/manual/main_frontend_tools.rst