Drop API link

Clean up the website a bit by just dropping the link as it links to the same spot now, and on the linked page there is a section for API reference.
angr · Nov 11, 2024 · 1caa352 · 1caa352
1 parent 63019a0
commit 1caa352
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/config.toml b/config.toml
@@ -17,18 +17,14 @@ disableKinds = ["RSS"]
   name = "docs"
   url = "https://docs.angr.io/"
   weight = 3
-[[menu.main]]
-  name = "api"
-  url = "https://api.angr.io/"
-  weight = 4
 [[menu.main]]
   name = "blog"
   url = "/blog"
-  weight = 5
+  weight = 4
 [[menu.main]]
   name = "get involved!"
   url = "/#contact"
-  weight = 6
+  weight = 5
 
 [taxonomies]
   tag = "tags"