Fix some java documentation links (#7757)

diff --git a/docs/api/api.rst b/docs/api/api.rst
index a5dbdf421f576ef73a7b7babbf14eacf5d183ba4..f404ac8323820988cbe6e73868c8f5eb0671e89a 100644 (file)
--- a/docs/api/api.rst
+++ b/docs/api/api.rst
@@ -3,7 +3,7 @@ API Documentation
 
 In addition to using cvc5 :doc:`as a binary <../binary/binary>`, cvc5 features APIs
 for several different programming languages.
-While the :doc:`C++ API <cpp/cpp>` is considered the primary interface to cvc5, both the :doc:`Java API <java/index>` and the :doc:`Python API <python/python>` implement a thin wrapper around it.
+While the :doc:`C++ API <cpp/cpp>` is considered the primary interface to cvc5, both the :doc:`Java API <java/java>` and the :doc:`Python API <python/python>` implement a thin wrapper around it.
 Additionally, a more pythonic Python API is availble at https://github.com/cvc5/cvc5_z3py_compat.
 
 .. toctree::

diff --git a/docs/theories/sets-and-relations.rst b/docs/theories/sets-and-relations.rst
index bed7e05cf05b12c000099233bd5478823d4d6760..33c0d4cd0c432fca433e285a9457d86740eb5322 100644 (file)
--- a/docs/theories/sets-and-relations.rst
+++ b/docs/theories/sets-and-relations.rst
@@ -9,6 +9,7 @@ The simplest way to get a sense of the syntax is to look at an example:
 
 .. api-examples::
     <examples>/api/cpp/sets.cpp
+    <examples>/api/java/Sets.java
     <examples>/api/python/sets.py
     <examples>/api/smtlib/sets.smt2
 

diff --git a/docs/theories/transcendentals.rst b/docs/theories/transcendentals.rst
index 6d35e6cce68def1549c361affa145a91789663d7..6b76e7b412e751a478beda04782fde3a272c2ceb 100644 (file)
--- a/docs/theories/transcendentals.rst
+++ b/docs/theories/transcendentals.rst
@@ -51,5 +51,6 @@ Examples
 
 .. api-examples::
     <examples>/api/cpp/transcendentals.cpp
+    <examples>/api/java/Transcendentals.java
     <examples>/api/python/transcendentals.py
     <examples>/api/smtlib/transcendentals.smt2
\ No newline at end of file