mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
[Doxygen] Fix bug where some header files were not being scanned.
This commit is contained in:
parent
0137104683
commit
903709b9c1
|
@ -704,10 +704,13 @@ INPUT_ENCODING = UTF-8
|
|||
FILE_PATTERNS = website.dox \
|
||||
z3_api.h \
|
||||
z3_algebraic.h \
|
||||
z3_ast_containers.h \
|
||||
z3_fixedpoint.h \
|
||||
z3_fpa.h \
|
||||
z3_interp.h \
|
||||
z3_optimization.h \
|
||||
z3_polynomial.h \
|
||||
z3_rcf.h \
|
||||
z3_interp.h \
|
||||
z3_fpa.h \
|
||||
z3++.h \
|
||||
@PYTHON_API_FILES@ @DOTNET_API_FILES@ @JAVA_API_FILES@
|
||||
|
||||
|
|
Loading…
Reference in a new issue