mirror of
https://github.com/Z3Prover/z3
synced 2025-04-27 02:45:51 +00:00
11 lines
289 B
Text
11 lines
289 B
Text
API documentation
|
|
-----------------
|
|
|
|
To generate the API documentation for the C, .NET and Python APIs, we must execute
|
|
|
|
python mk_doc.py
|
|
|
|
We must have doxygen installed in our system.
|
|
|
|
The documentation will be stored in the subdirectory './html'.
|
|
The main file is './html/index.html'
|