From 9f69f2411cd6a7a289203cb4af6975faca0a3351 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Tue, 11 Jun 2024 22:24:44 +0200
Subject: [PATCH] move API in docs

---
 docs/make.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/make.jl b/docs/make.jl
index 383ed247b5..37ccf1cdcf 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -33,8 +33,8 @@ makedocs(; sitename="LazySets.jl",
                                 "Lazy Intersections" => "man/lazy_intersections.md"
                                 #
                                 ],
-                "API" => "lib/API.md",
-                "Library" => Any["Set Interfaces" => [
+                "Library" => Any["API" => "lib/API.md",
+                                 "Set Interfaces" => [
                                                       #
                                                       "lib/interfaces/overview.md",
                                                       "lib/interfaces/LazySet.md",