about summary refs log tree commit diff homepage
path: root/docs/doxygen.cfg
diff options
context:
space:
mode:
Diffstat (limited to 'docs/doxygen.cfg')
-rw-r--r--docs/doxygen.cfg2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doxygen.cfg b/docs/doxygen.cfg
index b13a65ec..40eafd80 100644
--- a/docs/doxygen.cfg
+++ b/docs/doxygen.cfg
@@ -472,7 +472,7 @@ WARN_LOGFILE           =
 
 INPUT                  = tools/ \
                          lib/ \
-                         include/klee \
+                         include/ \
                          docs/intro \
                          docs/overview