From 78cee9d37aa32e70cdd6119c4af70ae551b8b713 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@caltech.edu>
Date: Thu, 21 Mar 2024 21:05:05 -0500
Subject: [PATCH] fix docs

---
 docs/source/ast.rst        | 13 +++++++++----
 docs/source/conf.py        |  2 +-
 docs/source/lean3.rst      | 24 ------------------------
 docs/source/lean4.rst      | 12 ------------
 pyproject.toml             |  2 +-
 src/lean_dojo/constants.py |  2 +-
 6 files changed, 12 insertions(+), 43 deletions(-)
 delete mode 100644 docs/source/lean3.rst
 delete mode 100644 docs/source/lean4.rst

diff --git a/docs/source/ast.rst b/docs/source/ast.rst
index ef665b59..80cb0e57 100644
--- 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
index 9a5f9be4..cb7b72a0 100644
--- 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
deleted file mode 100644
index 782dad44..00000000
--- a/docs/source/lean3.rst
+++ /dev/null
@@ -1,24 +0,0 @@
-lean_dojo.data_extraction.lean3.ast
-===================================
-
-.. _lean_dojo.data_extraction.ast.lean3.node:
-
-lean_dojo.data_extraction.ast.lean3.node
-****************************************
-
-.. automodule:: lean_dojo.data_extraction.ast.lean3.node
-   :members:
-   :undoc-members:
-   :show-inheritance:
-
-
-.. _lean_dojo.data_extraction.ast.lean3.expr:
-
-lean_dojo.data_extraction.ast.lean3.expr
-****************************************
-
-.. automodule:: lean_dojo.data_extraction.ast.lean3.expr
-   :members:
-   :undoc-members:
-   :show-inheritance:
-
diff --git a/docs/source/lean4.rst b/docs/source/lean4.rst
deleted file mode 100644
index 49983012..00000000
--- a/docs/source/lean4.rst
+++ /dev/null
@@ -1,12 +0,0 @@
-lean_dojo.data_extraction.lean4.ast
-===================================
-
-.. _lean_dojo.data_extraction.ast.lean4.node:
-
-lean_dojo.data_extraction.ast.lean4.node
-****************************************
-
-.. automodule:: lean_dojo.data_extraction.ast.lean4.node
-   :members:
-   :undoc-members:
-   :show-inheritance:
diff --git a/pyproject.toml b/pyproject.toml
index 84332da9..df2b338c 100644
--- 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
index 79079f77..727f7525 100644
--- 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: