From 99d0449272c82e04141875c857245620d155ca5c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 10 Dec 2012 07:51:45 -0800
Subject: [PATCH] added Java docs

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 doc/website.dox | 1 +
 doc/z3api.dox   | 4 +++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/website.dox b/doc/website.dox
index efbf71f56..6936b4f77 100644
--- a/doc/website.dox
+++ b/doc/website.dox
@@ -13,6 +13,7 @@
    - \ref capi 
    - \ref cppapi
    - <a class="el" href="class_microsoft_1_1_z3_1_1_context.html">.NET API</a>
+   - <a class="el" href="namespacecom_1_1microsoft_1_1z3.html">Java API</a>
    - <a class="el" href="namespacez3py.html">Python API</a> (also available in <a class="el" href="z3.html">pydoc format</a>).
    - Try Z3 online at <a href="http://rise4fun.com/z3py">RiSE4Fun</a> using <a href="http://rise4fun.com/z3py">Python</a> or <a href="http://rise4fun.com/z3">SMT 2.0</a>.
 */
diff --git a/doc/z3api.dox b/doc/z3api.dox
index 07c7fe0dc..0233e6d83 100644
--- a/doc/z3api.dox
+++ b/doc/z3api.dox
@@ -687,6 +687,7 @@ WARN_LOGFILE           =
 # with spaces.
 
 INPUT                  = ../src/api/dotnet \
+                         ../src/api/java \
                          ../src/api/c++ \
                          ./tmp
 
@@ -740,7 +741,8 @@ FILE_PATTERNS          = website.dox \
                          Util.cs \
                          Version.cs \
                          Z3Exception.cs \
-                         Z3Object.cs
+                         Z3Object.cs \
+                         *.java
 
 # The RECURSIVE tag can be used to turn specify whether or not subdirectories
 # should be searched for input files as well. Possible values are YES and NO.