From 0effe80e7dfd6669bb9fa5a0d5bc3f90309073e6 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 28 Aug 2022 17:55:34 -0500
Subject: [PATCH] Move tools higher in the docs TOC

---
 doc/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/index.rst b/doc/index.rst
index bc4af44c..54c38c21 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -110,11 +110,11 @@ Contents
     runtime_memory
     runtime_program
     runtime_gl
+    tools
     array
     types
     algorithm
     howto
-    tools
     misc
     🚀 Github <https://github.com/inducer/pyopencl>
     💾 Download Releases <https://pypi.org/project/pyopencl>
-- 
GitLab