fix docs

lean-dojo · Mar 22, 2024 · 78cee9d · 78cee9d
1 parent 9e50187
commit 78cee9d
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 43 deletions.
diff --git a/docs/source/ast.rst b/docs/source/ast.rst
@@ -1,8 +1,13 @@
 lean_dojo.data_extraction.ast
 =============================
 
-.. toctree::
-   :maxdepth: 2
+.. _lean_dojo.data_extraction.ast:
+
+lean_dojo.data_extraction.ast
+****************************************
+
+.. automodule:: lean_dojo.data_extraction.ast
+   :members:
+   :undoc-members:
+   :show-inheritance:
 
-   lean3
-   lean4
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -13,7 +13,7 @@
 project = "LeanDojo"
 copyright = "2023, LeanDojo Team"
 author = "Kaiyu Yang"
-release = "1.7.1"
+release = "1.7.2rc"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

diff --git a/docs/source/lean3.rst b/docs/source/lean3.rst
diff --git a/docs/source/lean4.rst b/docs/source/lean4.rst
diff --git a/pyproject.toml b/pyproject.toml
@@ -13,7 +13,7 @@ exclude = [
 
 [project]
 name = "lean-dojo"
-version = "1.7.1"
+version = "1.7.2rc"
 authors = [
   { name="Kaiyu Yang", email="kaiyuy@caltech.edu" },
 ]

diff --git a/src/lean_dojo/constants.py b/src/lean_dojo/constants.py
@@ -14,7 +14,7 @@
 
 load_dotenv()
 
-__version__ = "1.7.1"
+__version__ = "1.7.2rc"
 
 logger.remove()
 if "VERBOSE" in os.environ or "DEBUG" in os.environ: