From 903709b9c145b011533f3ab54b6c4ae22d7b935c Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 Jun 2017 17:09:01 +0100
Subject: [PATCH] [Doxygen] Fix bug where some header files were not being
scanned.
---
doc/z3api.cfg.in | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/doc/z3api.cfg.in b/doc/z3api.cfg.in
index 9e946aa7f..9c4b464c2 100644
--- a/doc/z3api.cfg.in
+++ b/doc/z3api.cfg.in
@@ -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@