about summary refs log tree commit diff homepage
path: root/docs
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-06-09 03:42:41 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-06-09 03:42:41 +0000
commit696ba2a432ee1fbaea8bfee3eac823dd0df2147d (patch)
tree941633a4f57e28667d65b86915db974a1fd4133a /docs
parenta777d5892aa36bc159171ddf61637d54d07c48df (diff)
downloadklee-696ba2a432ee1fbaea8bfee3eac823dd0df2147d.tar.gz
Quick hack to build SMT LLVM style.
 - I don't want to make proper bison/flex rules, and eventually I think we
   should just check in the generated files since we don't expect them to
   change, so for now just build the files in the src directory. Eventually we
   will want to disable these rules so that it works for people who don't have
   bison/flex.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73121 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-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