Merge pull request #202 from lepture/patch-1

Update `conf.py` for documentation
eth-sri · Sep 6, 2023 · 28c0a1e · 28c0a1e
2 parents 8ccabd3 + 5e46c46
commit 28c0a1e
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -65,6 +65,7 @@
     "dark_logo": "_static/logo.svg",
     "twitter_url": "https://twitter.com/lmqllang",
     "github_url": "https://github.com/eth-sri/lmql",
+    "discord_url": "https://discord.gg/7eJP4fcyNT",
     "nav_links": [
         {
             "title": "Examples",
@@ -79,6 +80,4 @@
             "url": "https://discord.gg/7eJP4fcyNT"
         }
     ],
-    "home_page_in_toc": True,
-    "show_navbar_depth": 3,
-}
+}