api docs: Remove file reintroduced in past merge. (#6426)

diff --git a/docs/cpp.rst b/docs/cpp.rst
deleted file mode 100644 (file)
index eeeae25..0000000
--- a/docs/cpp.rst
+++ /dev/null
@@ -1,72 +0,0 @@
-C++ API Documentation
-=====================
-
-Class Hierarchy
----------------
-
-* namespace ``cvc5``
-
-  * namespace ``api``
-
-    * class :cpp:class:`cvc5::api::CVC5ApiException`
-
-    * class :cpp:class:`cvc5::api::CVC5ApiRecoverableException`
-
-    * class :doc:`cpp/datatype`
-
-      * class :ref:`Datatype::const_iterator<datatype>`
-
-    * class :doc:`cpp/datatypeconstructor`
-
-      * class :ref:`DatatypeConstructor::const_iterator<datatypeconstructor>`
-
-    * class :doc:`cpp/datatypeconstructordecl`
-
-    * class :doc:`cpp/datatypedecl`
-
-    * class :doc:`cpp/datatypeselector`
-
-    * class :doc:`cpp/grammar`
-
-    * class :doc:`cpp/op`
-
-    * class :doc:`cpp/result`
-
-    * class :doc:`cpp/solver`
-
-    * class :doc:`cpp/term`
-
-      * class :ref:`Term::const_iterator<term>`
-
-    * enum :doc:`cpp/kind`
-
-    * enum :doc:`cpp/roundingmode`
-
-    * struct :ref:`KindHashFunction<kind>`
-
-    * struct :ref:`OpHashFunction<op>`
-
-    * struct :ref:`SortHashFunction<sort>`
-
-
-
-Full API Documentation
-----------------------
-
-.. toctree::
-   :maxdepth: 2
-
-   cpp/datatype
-   cpp/datatypeconstructor
-   cpp/datatypeconstructordecl
-   cpp/datatypedecl
-   cpp/datatypeselector
-   cpp/exceptions
-   cpp/grammar
-   cpp/kind
-   cpp/op
-   cpp/result
-   cpp/roundingmode
-   cpp/solver
-   cpp/sort
-   cpp/term