Use goblint library documentation page in Readthedocs

goblint · Oct 12, 2023 · 47cce4f · 47cce4f
1 parent a0b376b
commit 47cce4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -30,7 +30,7 @@ nav:
     - 👶 Your first analysis: developer-guide/firstanalysis.md
     - 🏫 Extending library: developer-guide/extending-library.md
     - 📢 Messaging: developer-guide/messaging.md
-    - 🗃️ API reference: https://goblint.github.io/analyzer/
+    - 🗃️ API reference: https://goblint.github.io/analyzer/goblint/
     - 🚨 Testing: developer-guide/testing.md
     - 🪲 Debugging: developer-guide/debugging.md
     - 📉 Profiling: developer-guide/profiling.md