From 696ba2a432ee1fbaea8bfee3eac823dd0df2147d Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Tue, 9 Jun 2009 03:42:41 +0000
Subject: 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
---
 docs/doxygen.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

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
 
-- 
cgit 1.4.1