mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

improved Z3 documentation

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-22 17:09:30 -08:00
parent badb81998d
commit 85b9d8c37a
3 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/README
View file

@ -17,6 +17,8 @@ To generate documentation for the Z3 code, we must execute
doxygen z3code.dox doxygen z3code.dox
We must also have dot installed in our system.
The documentation will be store in the subdirectory './code/html'. The documentation will be store in the subdirectory './code/html'.
The main file is './code/html/index.html' The main file is './code/html/index.html'

0
doc/update_website.cmd → doc/update_api_website.cmd
View file

2
doc/z3code.dox
View file

@ -19,7 +19,7 @@ DOXYFILE_ENCODING = UTF-8
# The PROJECT_NAME tag is a single word (or a sequence of words surrounded # The PROJECT_NAME tag is a single word (or a sequence of words surrounded
# by quotes) that should identify the project. # by quotes) that should identify the project.
PROJECT_NAME = Z3_CODE PROJECT_NAME = Z3
PROJECT_NUMBER = PROJECT_NUMBER =
OUTPUT_DIRECTORY = code OUTPUT_DIRECTORY = code
CREATE_SUBDIRS = NO CREATE_SUBDIRS = NO