diff --git a/doc/README b/doc/README index a81ed2856..e46554230 100644 --- a/doc/README +++ b/doc/README @@ -1,7 +1,7 @@ API documentation ----------------- -To generate the API documentation for the C, .NET and Python APIs, we must execute +To generate the API documentation for the C, C++, .NET, Java and Python APIs, we must execute python mk_api_doc.py diff --git a/examples/c/README b/examples/c/README index 5ea885519..4ca71e0f8 100644 --- a/examples/c/README +++ b/examples/c/README @@ -1,4 +1,4 @@ -Small example using the c++ bindings. +Small example using the C bindings. To build the example execute make examples in the build directory. diff --git a/examples/maxsat/README b/examples/maxsat/README index cf022d847..e5e4ba610 100644 --- a/examples/maxsat/README +++ b/examples/maxsat/README @@ -1,4 +1,4 @@ -Small example using the c++ bindings. +Small example using the C bindings. To build the example execute make examples in the build directory.