diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/doxygen.cfg | 2 |
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 |